Forked from
The Rocq Prover / The Rocq Prover
5014 commits behind the upstream repository.
coqbot
authored
Reviewed-by: SkySkimmer
Reviewed-by: gares
Ack-by: ejgallego
Co-authored-by: 
SkySkimmer <SkySkimmer@users.noreply.github.com>