Beast code in Giters

owl77's repositories

Proof Checker and Proof Assistant based on Kelley-Morse Set Theory and FOL Natural Deduction

Language:Python100

Language:Python000

Miscellaneous formalisations

Language:Coq000

Language:HTML000

Characteristica Universalis

Language:Coq000

Language:PHP000

Language:PHP000

Language:HTML000

Language:Python000

Language:Common Lisp000

Language:OCaml000

Language:HTML000

Typing Assistant for Homotopy Type Theory

Language:Python000

Language:Python000