KevinMidboe/linguist
1
0
Fork 0
mirror of https://github.com/KevinMidboe/linguist.git synced 2025-10-29 17:50:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
5,649 Commits 13 Branches 127 Tags
0698b0f36e655144ce0f71e45e145f585429debd
Commit Graph

2 Commits

Author SHA1 Message Date
Santiago M. Mola
1a6df12902 fix Coq sample JsNumber.v (#3710) 
It was fetched as HTML from GitHub instead of raw.
 2017-07-10 09:41:36 +01:00
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