summaryrefslogtreecommitdiff
path: root/tests/lean/BetreeMain
diff options
context:
space:
mode:
authorSon Ho2023-07-12 18:04:19 +0200
committerSon Ho2023-07-12 18:04:19 +0200
commiteb97bdb6761437e492bcf1a95b4fa43d2b69601b (patch)
tree666cf4611365dea7d9d7240870e8acbcb8dc5a4d /tests/lean/BetreeMain
parente010c10fb9a1e2d88b52a4f6b4a0865448276013 (diff)
Improve progress to use assumptions and start working on a nice syntax
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions