diff options
| author | Son Ho | 2023-03-07 09:05:45 +0100 |
|---|---|---|
| committer | Son HO | 2023-06-04 21:44:33 +0200 |
| commit | db8cca3c3177fec2e66634366a6621ca979c0dc9 (patch) | |
| tree | c84958eb00667700cf628f55aabc5128ca4a55d5 /compiler/ExtractBase.ml | |
| parent | 73b95970460fb7d8c90e2ea97fa6457d7850af07 (diff) | |
Update the generation of termination and decreases_by templates for Lean
Diffstat (limited to 'compiler/ExtractBase.ml')
0 files changed, 0 insertions, 0 deletions