Beast code in Giters

Laurent Théry's repositories

Coq Enhancement Proposals

Sat for GCHQ

Language:Coq1 30

A port of Coq to Javascript -- Run Coq in your Browser

Language:JavaScriptNOASSERTION1 10

The repository for stable Coq packages.

MIT1 20

The repository for development packages.

MIT1 10

Language:Java1 10

CoqDoc fork specialized for the jscoq backend.

Language:OCamlNOASSERTION1 10

An OCaml version of the LTac "exploit" tactic, used as a tutorial for writing Coq plugins

Language:CoqNOASSERTION010