Wikiproofs:Formal description of JHilbert
From Wikiproofs
| Formal description of JHilbert |
| A collection of articles describing JHilbert formally and describing its relation to other systems. |
- Set-theoretical definition of JHilbert concepts: This page should contain a set-theoretical description of JHilbert concepts such as kinds, variables, DV constraints, functors, expressions, definitions, statements and the like.
