summaryrefslogtreecommitdiff
path: root/tests/coq/betree/_CoqProject
diff options
context:
space:
mode:
authorSon HO2024-06-12 18:34:33 +0200
committerGitHub2024-06-12 18:34:33 +0200
commit216df2a1abeb944b3143476c1e4753cd6c71645f (patch)
treeaa14af61056233f309cdedf138604f7ac0ba443f /tests/coq/betree/_CoqProject
parente60d525fe3dffa035d2a551af624747dca6e1c1e (diff)
parentd36736fa4e7eb9f42f35303b8080d17ddbee92d2 (diff)
Merge pull request #241 from AeneasVerif/son/tactics
Do minor improvements to the Lean backend
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions