diff options
| author | Son Ho | 2023-06-29 11:22:32 +0200 |
|---|---|---|
| committer | Son Ho | 2023-06-29 11:22:32 +0200 |
| commit | a6de153f3bfda7feb27d16fcdf2131d37f99c7a3 (patch) | |
| tree | 016ba097f111de2116a043046785f1c0293873e7 /tests/lean/misc-external/External/Opaque.lean | |
| parent | 19bde89b84619defc2a822c3bf96bdca9c97eee7 (diff) | |
Start working on Elab.lean
Diffstat (limited to 'tests/lean/misc-external/External/Opaque.lean')
0 files changed, 0 insertions, 0 deletions