Skip to content
Snippets Groups Projects
Select Git revision
  • 1a9bc5112b596ca2f4fc5baf1ac1372f53304442
  • v8.17 default protected
  • ultra-light
  • SharedArrayBuffer
4 results

jscoq-light

Forked from David Hamelin / jscoq-light
Source project has a limited visibility.
user avatar
[docs] SDK demo cosmetics.
Shachar Itzhaky authored 
Made the example a little bit smaller by removing some unneeded
boilerplate.
(Possible thanks to Dune 3's `glob_files_rec`.)

Also, the example now showcases `group-theory` instead of Coqoban.
Mainly because we already have Coqoban as an addon.
1a9bc511
History
user avatar 1a9bc511
History
Name Last commit Last update