summaryrefslogtreecommitdiff
path: root/tests/lean
ModeNameSize
-rw-r--r--.gitignore25logplain
-rw-r--r--Arrays.lean16838logplain
-rw-r--r--BetreeMain.lean23logplain
d---------BetreeMain275logplain
-rw-r--r--Bitwise.lean877logplain
-rw-r--r--Constants.lean4956logplain
-rw-r--r--Demo.lean23logplain
d---------Demo80logplain
-rw-r--r--External.lean21logplain
d---------External314logplain
-rw-r--r--Hashmap.lean46logplain
d---------Hashmap118logplain
-rw-r--r--HashmapMain.lean24logplain
d---------HashmapMain314logplain
-rw-r--r--Loops.lean18866logplain
-rw-r--r--Makefile641logplain
-rw-r--r--NoNestedBorrows.lean19846logplain
-rw-r--r--Paper.lean3094logplain
-rw-r--r--PoloniusList.lean894logplain
-rw-r--r--Traits.lean18120logplain
-rw-r--r--Tutorial.lean15208logplain
-rw-r--r--lake-manifest.json2335logplain
-rw-r--r--lakefile.lean643logplain
-rw-r--r--lean-toolchain24logplain