diff options
author | Guillaume Boisseau | 2024-04-30 15:43:32 +0200 |
---|---|---|
committer | GitHub | 2024-04-30 15:43:32 +0200 |
commit | 37cf570462cff897eaeb34d3a48179ae9597ce65 (patch) | |
tree | 9e579a360d38b1a2f31cacc7429403fb39d691f0 /tests/lean/Betree.lean | |
parent | fead40d1fb6e9f7bed705e8d3048133cf59c3bb8 (diff) | |
parent | 5209b9976107592802327bac30e8b98fbb9c2d2f (diff) |
Merge pull request #165 from AeneasVerif/bump-charon
Diffstat (limited to 'tests/lean/Betree.lean')
-rw-r--r-- | tests/lean/Betree.lean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/lean/Betree.lean b/tests/lean/Betree.lean new file mode 100644 index 00000000..58bee0c4 --- /dev/null +++ b/tests/lean/Betree.lean @@ -0,0 +1 @@ +import Betree.Funs |