CoqHott / exceptional-ttLinks

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

Alternatives and similar repositories for exceptional-tt

Users that are interested in exceptional-tt are comparing it to the libraries listed below

Sorting: