Stars
6
stars
written in Haskell
Clear filter
A formal logic framework that runs in the browser
An experimental proof assistant based on a type theory for synthetic β-categories.
a tiny tool for visualising substructual sharing in data structures π΅οΈββοΈ