Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
Simple web interface for writing box proofs in Twelf
Monad for checking proofs in propositional logic, with support for typesetting the proof in LaTeX
Ulrik and Philip's Bachelor's Thesis
Parser for a large subset of the Twelf language.
Forked from gasche/popl2016-papers
Links to publicly available preprints for the POPL'16 conference