edwinb / Ivor

A type theory based theorem proving library
25Updated 13 years ago

Related projects

Alternatives and complementary repositories for Ivor