KevinMidboe/linguist
1
0
Fork 0
mirror of https://github.com/KevinMidboe/linguist.git synced 2025-12-08 12:28:47 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
234ee8b6d2502dddf5c50f002149fce9771093fb
linguist/samples/Coq
History
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
..
Computation.v
Add permissive-licensed Coq samples
2016-11-03 02:50:54 +11:00
Imp.v
Rename samples subdirectories
2012-07-23 15:52:49 -05:00
JsCorrectness.v
Add permissive-licensed Coq samples
2016-11-03 02:50:54 +11:00
JsInterpreterExtraction.v
Add permissive-licensed Coq samples
2016-11-03 02:50:54 +11:00
JsNumber.v
Add permissive-licensed Coq samples
2016-11-03 02:50:54 +11:00
JsPrettyInterm.v
Add permissive-licensed Coq samples
2016-11-03 02:50:54 +11:00
Lists.v
Rename samples subdirectories
2012-07-23 15:52:49 -05:00
Main.v
Add permissive-licensed Coq samples
2016-11-03 02:50:54 +11:00
Poly.v
Rename samples subdirectories
2012-07-23 15:52:49 -05:00
Rel.v
Rename samples subdirectories
2012-07-23 15:52:49 -05:00
Smallstep.v
Rename samples subdirectories
2012-07-23 15:52:49 -05:00
Spec.v
Add permissive-licensed Coq samples
2016-11-03 02:50:54 +11:00
Stlc.v
Rename samples subdirectories
2012-07-23 15:52:49 -05:00