summaryrefslogtreecommitdiff
path: root/tests/lean/Demo/Properties.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2024-04-11Update some Lean proofsSon Ho1-6/+6
2024-03-19Update the demoSon Ho1-0/+16
2024-02-09Add some demo filesSon Ho1-0/+68