Alhadis
|
4f1e5c34b1
|
Add permissive-licensed Coq samples
BSD-2-Clause: https://github.com/jscert/jscert
* JSCorrectness.v
* JSInterpreterExtraction.v
* JSNumber.v
* JSPrettyInterm.v
MIT/Expat: https://github.com/clarus/coq-atm
* Computation.v
* Main.v
* Spec.v
|
2016-11-03 02:50:54 +11:00 |
|