My personal repository of formally verified mathematics.
An interactive theorem prover based on lambda-tree syntax
A fast, easy-to-use ring solver for agda with step-by-step solutions
An experimental implementation of homotopy type theory in the interactiv...