summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Diverge
ModeNameSize
-rw-r--r--Base.lean39427logplain
-rw-r--r--Elab.lean24469logplain
-rw-r--r--ElabBase.lean4177logplain