summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore7logplainabout
-rw-r--r--Main.lean973logplainabout
-rw-r--r--lake-manifest.json112logplainabout
-rw-r--r--lakefile.toml106logplainabout
-rw-r--r--lean-toolchain29logplainabout