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