Forked from
The Rocq Prover / The Rocq Prover
Source project has a limited visibility.
-
coqbot authored
Reviewed-by: SkySkimmer Reviewed-by: gares Ack-by: ejgallego Co-authored-by:SkySkimmer <SkySkimmer@users.noreply.github.com>
coqbot authoredReviewed-by: SkySkimmer Reviewed-by: gares Ack-by: ejgallego Co-authored-by:
