summaryrefslogtreecommitdiff
path: root/LICENSE.md
diff options
context:
space:
mode:
authorSon Ho2023-03-07 09:05:45 +0100
committerSon HO2023-06-04 21:44:33 +0200
commitdb8cca3c3177fec2e66634366a6621ca979c0dc9 (patch)
treec84958eb00667700cf628f55aabc5128ca4a55d5 /LICENSE.md
parent73b95970460fb7d8c90e2ea97fa6457d7850af07 (diff)
Update the generation of termination and decreases_by templates for Lean
Diffstat (limited to 'LICENSE.md')
0 files changed, 0 insertions, 0 deletions