CoqHott / exceptional-tt

A Coq plugin that implements exceptions in Coq
13Updated 3 years ago

Related projects

Alternatives and complementary repositories for exceptional-tt