skeuchel/metatheory
Formal Metatheory in Coq
Developer Profile
skeuchel
Discovered public repositories for skeuchel in the GitHub catalog.
skeuchel/needle
Needle code generator
skeuchel/language-coq
A pretty-printing solution for the Coq proof assistant language
skeuchel/inbound
Public repository.
skeuchel/mtc
Public repository.
skeuchel/gdtc
Public repository.
skeuchel/freezing-octo-robot
Public repository.