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.
Emilio Jesus Gallego Arias authoredThis is taken from SerAPI; I'm not expert on CoCs but the intentions are IMHO clear.