
Isabelle/Pure prototype of the Grounded Arithmetic (GA) logic system. Features a complete axiomatization, arithmetic functions, Cantor tuple constructions, a manually encoded List datatype, and the accompanying B.Sc. thesis PDF and source files.
This page was last edited on 2026-03-03.
This page was last edited on 2026-03-03.