heades/FILLdialogical
Game semantics for FILL in the style of Lorenzen Games
Developer Profile
heades
Discovered public repositories for heades in the GitHub catalog.
heades/law
The Lawvere Categorical Logic Library
heades/thesis
This contains my Ph.D. thesis and related work.
heades/DIL-consistency
Formalization of consistency of Dualized Intuitionistic Logic with respect Rauszer's extended Kripke semantics.
heades/uni-typed
This is some stuff I used in a recent blog post about untyped lambda-calculi being actually typed.
heades/idris
Everything Idris
heades/lj_completeness
These are my lecture notes on proving completeness for LJ
heades/cat-theory
Category Theory in Coq
heades/fltool
This is a tool to help with setting up multiple Fossil repos. for a university course.
heades/examples
Useful examples