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