summaryrefslogtreecommitdiff
path: root/backends/lean/Base
ModeNameSize
-rw-r--r--Arith.lean47logplain
d---------Arith112logplain
-rw-r--r--Core.lean667logplain
-rw-r--r--Diverge.lean150logplain
d---------Diverge115logplain
-rw-r--r--Extensions.lean1851logplain
-rw-r--r--IList.lean24logplain
d---------IList38logplain
-rw-r--r--Primitives.lean272logplain
d---------Primitives363logplain
-rw-r--r--Progress.lean30logplain
d---------Progress78logplain
-rw-r--r--Termination.lean3203logplain
-rw-r--r--Tuples.lean2965logplain
-rw-r--r--Utils.lean31455logplain
-rw-r--r--UtilsBase.lean162logplain