summaryrefslogtreecommitdiff
path: root/tests/lean/Demo/Properties.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2024-03-19Update the demoSon Ho1-0/+16
2024-02-09Add some demo filesSon Ho1-0/+68
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-28 12:57:27 +0000