Forked from
David Hamelin / jscoq-light
Source project has a limited visibility.
-
Emilio Jesus Gallego Arias authored
This is taken from SerAPI; I'm not expert on CoCs but the intentions are IMHO clear.
Unverified3a6725d9
This is taken from SerAPI; I'm not expert on CoCs but the intentions are IMHO clear.