summaryrefslogtreecommitdiff
path: root/tests/lean/Demo
ModeNameSize
-rw-r--r--Demo.lean4536logplain
-rw-r--r--Properties.lean1905logplain