summaryrefslogtreecommitdiff
path: root/tests/lean/Betree (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-12Regenerate the testsSon Ho1-11/+11
2024-06-05Regenerate the Coq and Lean betreesSon Ho1-89/+202
2024-05-28tests: Rename betree_main -> betreeNadrieril6-0/+858