summaryrefslogtreecommitdiff
path: root/backends/lean
ModeNameSize
-rw-r--r--.gitignore21logplain
-rw-r--r--Base.lean118logplain
d---------Base493logplain
-rw-r--r--lake-manifest.json1431logplain
-rw-r--r--lakefile.lean254logplain
-rw-r--r--lean-toolchain23logplain