4 projects
ordinatics
Exact ordinal arithmetic, ordinal calculus, dynamics, symbolic specialization, and bounded typed satisfaction
verifier-standard
Verification-domain language and reference implementation for bounded computational claims.
grounded-hypercalculi
Because there are more calculi than just maths': Language, Meta, Hyper, Ordinal, Real, and Oracle Calculi.
grounded-hyperset-theory
Grounded Hyperset Theory: Accessible Pointed Graphs, non-well-founded sets, constructive membership, meta-features, and calculi bridges
