category | objects |
|
|
|
|
|
sizes | files | 4 | characters | 68581 | nodes | 3637 |
propositions | theorems | 2 | lemmas | 1 | total | 3 |
concepts | declared | 3 | defined | 9 | total | 12 |
component | plane | files |
|
functional | reduction and type machine | rtm | rtm_step ( ? ⇨ ? ) |
|
relocation | lift ( ↑[?,?] ? ) |
|