category | objects |
|
|
|
|
|
sizes | files | 1 | characters | 217 | nodes | 0 |
propositions | theorems | 0 | lemmas | 0 | total | 0 |
concepts | declared | 0 | defined | 0 | total | 0 |
component | plane | files |
|
functional | reduction and type machine | rtm | rtm_step ( ? ⇨ ? ) |
|
relocation | lift ( ↑[?,?] ? ) |
|