2jd6ltd1j0k0.md (157B)
1 Declaring a judgement means from then on, when you have to prove it, you can use its subjudgements, and you must prove its subjudgements in order to use it.
| loaVirtual machine for the Logic of Assumptions |
| git clone git://juanmeleiro.mat.br/loa | |
| Log | Files | Refs |
2jd6ltd1j0k0.md (157B)
1 Declaring a judgement means from then on, when you have to prove it, you can use its subjudgements, and you must prove its subjudgements in order to use it.