summaryrefslogtreecommitdiff
path: root/tests/lean
ModeNameSize
-rw-r--r--.gitignore25logplain
-rw-r--r--Arrays.lean17326logplain
-rw-r--r--Betree.lean19logplain
d---------Betree275logplain
-rw-r--r--Bitwise.lean1020logplain
-rw-r--r--Constants.lean5257logplain
-rw-r--r--Demo.lean23logplain
d---------Demo80logplain
-rw-r--r--External.lean21logplain
d---------External314logplain
-rw-r--r--Hashmap.lean46logplain
d---------Hashmap318logplain
-rw-r--r--InfiniteLoop.lean690logplain
-rw-r--r--Issue194RecursiveStructProjector.lean1325logplain
-rw-r--r--Loops.lean19418logplain
-rw-r--r--Makefile641logplain
-rw-r--r--Matches.lean460logplain
-rw-r--r--NoNestedBorrows.lean17985logplain
-rw-r--r--Paper.lean3238logplain
-rw-r--r--PoloniusList.lean1019logplain
-rw-r--r--RenameAttribute.lean2973logplain
-rw-r--r--Traits.lean18690logplain
-rw-r--r--Tutorial.lean15196logplain
-rw-r--r--lake-manifest.json2362logplain
-rw-r--r--lakefile.lean600logplain
-rw-r--r--lean-toolchain28logplain
d---------misc56logplain