diff options
author | Aymeric Fromherz | 2024-05-23 12:04:09 +0200 |
---|---|---|
committer | Aymeric Fromherz | 2024-05-23 12:04:09 +0200 |
commit | b4cc9c908935eb95c761b664e75ce065fb97d85c (patch) | |
tree | 15688afe7b411bec437a4bd7e0a78ac4dd2db629 /tests/lean/Tutorial.lean | |
parent | 7238177f5c7cff15f924e13c01d5b3b4802daf77 (diff) |
Regenerate Lean files for betree following extraction changes
Diffstat (limited to 'tests/lean/Tutorial.lean')
0 files changed, 0 insertions, 0 deletions