summaryrefslogtreecommitdiff
path: root/backends/lean/Base
ModeNameSize
-rw-r--r--Arith.lean24logplain
d---------Arith75logplain
-rw-r--r--Diverge.lean179logplain
d---------Diverge115logplain
-rw-r--r--IList.lean4485logplain
-rw-r--r--Primitives.lean23540logplain
-rw-r--r--Progress.lean30logplain
d---------Progress78logplain
-rw-r--r--Utils.lean19344logplain