summaryrefslogtreecommitdiff
path: root/backends/lean/Base
ModeNameSize
-rw-r--r--Arith.lean47logplain
d---------Arith150logplain
-rw-r--r--Diverge.lean150logplain
d---------Diverge115logplain
-rw-r--r--Extensions.lean1875logplain
-rw-r--r--IList.lean24logplain
d---------IList38logplain
-rw-r--r--Primitives.lean198logplain
d---------Primitives271logplain
-rw-r--r--Progress.lean30logplain
d---------Progress78logplain
-rw-r--r--Tuples.lean2965logplain
-rw-r--r--Utils.lean27722logplain
-rw-r--r--UtilsBase.lean162logplain