diff options
| author | Son Ho | 2023-07-03 16:24:44 +0200 |
|---|---|---|
| committer | Son Ho | 2023-07-03 16:24:44 +0200 |
| commit | 37e5d5501e024869037bf0ea1559229a8be62da7 (patch) | |
| tree | f7f48b6cddd0a2c03a07a24b43bad0df675c2d54 /compiler/Invariants.ml | |
| parent | 1c9331ce92b68b9a83c601212149a6c24591708f (diff) | |
Generate the proofs of validity in Elab.lean
Diffstat (limited to 'compiler/Invariants.ml')
0 files changed, 0 insertions, 0 deletions