category | objects |
|
|
|
|
|
sizes | files | 14 | characters | 6787 | nodes | 10070 |
propositions | theorems | 2 | lemmas | 4 | total | 6 |
concepts | declared | 6 | defined | 11 | total | 17 |
component | plane | files |
|
functional | reduction and type machine | rtm | rtm_step ( ? ⇨ ? ) |
|
relocation | lift ( ↑[?,?] ? ) |
|