category | objects |
|
|
|
|
|
sizes | files | 1 | characters | 377 | nodes | 779 |
propositions | theorems | 2 | lemmas | 1 | total | 3 |
concepts | declared | 0 | defined | 3 | total | 3 |
component | plane | files |
|
functional | reduction and type machine | rtm | rtm_step ( ? ⇨ ? ) |
|
relocation | lift ( ↑[?,?] ? ) |
|
examples | terms with special features | ex_sta_ldec ex_cpr_omega ex_fpbg_refl ex_snv_eta |
|