Emilio Jesús Gallego Arias's repositories
coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
aac-tactics
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
coq-dpdgraph
Build dependency graphs between COQ objects
Coq-Equations
A plugin for Coq to add dependent pattern-matching.
coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
coq-tactician
A Seamless, Interactive Tactic Learner and Prover for Coq
curvenote-template
A vanilla bootstrap of the curvenote.dev editor
gchat-reader
Parser and viewer for Google Chat / Hangouts `message.json` format
graph-editor-web
An online graph editor written in Elm
ocaml
The core OCaml system: compilers, runtime system, base libraries
ppx_import
Less redundancy in type declarations and signatures
vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]