proof-ninja / coq-result

The Result Type for Coq

The Result Data Structure for Coq

coqdoc

https://proof-ninja.github.io/coq-result/