Pinned Repositories
modal-logics
Agda formalisation of dual-context constructive modal logics.
pls-tt-tutorial
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
unquote-n
lambdabetaeta's Repositories
lambdabetaeta/modal-logics
Agda formalisation of dual-context constructive modal logics.
lambdabetaeta/pls-tt-tutorial
lambdabetaeta/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
lambdabetaeta/unquote-n
lambdabetaeta/Beamer-template
lambdabetaeta/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
lambdabetaeta/bristol-thesis-template
lambdabetaeta/HoTT
Homotopy type theory
lambdabetaeta/lambda-calculus
Proof of the Church-Rosser theorem using locally nameless representation in Coq
lambdabetaeta/lambdabetaeta.github.io
lambdabetaeta/LaTeX-template
lambdabetaeta/statical
A calendar aggregator and generator to make maintaining calendars on static websites easier.
lambdabetaeta/Syllepsis-in-Coq