:memo: Doc on do-not-fail

coq-community / trocq

A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]

http://coq-community.org/trocq/

GNU Lesser General Public License v3.0

18 stars 3 forks source link

Closed ecranceMERCE closed 9 months ago