owl77

Pinned Repositories

ComputationalLinguistics
Language:Python00
CoqFormalisations
Miscellaneous formalisations
Language:Coq00
fourinarow
Language:HTML00
Leibniz
Characteristica Universalis
Language:Coq00
messenger
Language:PHP00
microblogger
Language:PHP00
miscellany
Language:HTML0 1 00
misteria
Language:Python00
musicalsequence
Language:Common Lisp00
PyLog
Proof Checker and Proof Assistant based on Kelley-Morse Set Theory and FOL Natural Deduction
Language:Python10

owl77's Repositories

owl77/PyLog
Proof Checker and Proof Assistant based on Kelley-Morse Set Theory and FOL Natural Deduction
Language:Python10
owl77/ComputationalLinguistics
Language:Python00
owl77/CoqFormalisations
Miscellaneous formalisations
Language:Coq00
owl77/fourinarow
Language:HTML00
owl77/Leibniz
Characteristica Universalis
Language:Coq00
owl77/messenger
Language:PHP00
owl77/microblogger
Language:PHP00
owl77/miscellany
Language:HTML0 1 00
owl77/misteria
Language:Python00
owl77/musicalsequence
Language:Common Lisp00
owl77/Ocaml
Language:OCaml
owl77/owl77.github.io
Language:HTML
owl77/PyHottPure
Typing Assistant for Homotopy Type Theory
Language:Python
owl77/semantic
Language:Python