diff options
| author | Son HO | 2024-05-29 01:01:57 +0200 |
|---|---|---|
| committer | GitHub | 2024-05-29 01:01:57 +0200 |
| commit | 23747e8fff162170fa1108cc609db1a0f8f5fc96 (patch) | |
| tree | 674356fb329c7646460db6f8d0bdd2798f0f662e /tests/lean/Betree/FunsExternal_Template.lean | |
| parent | 5330a6f728add1525854ad4cedd86b8e1d3a1fa7 (diff) | |
| parent | 6d024213541c0f87f1fde991d860c35cd4e5747b (diff) | |
Merge branch 'main' into son/builtins
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions