Enrico Tassi's repositories
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.
addon-elpi
Elpi addon plugin for jsCoq
addon-mathcomp
Mathematical Components addon for jsCoq
autoinduct
Taking a fun tactic implemented in class, and making it public for further refinement
category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
demo-nantes-20-12-2023
a new talk about Elpi using W as an example
elpi-derive-mathcomp
Coq-Elpi's derive linked to MathComp
icebreaker
Jezzball-inspired action-puzzle game where you rescue penguins from an iceberg. See http://mattdm.org/icebreaker/
infotheo
A Coq formalization of information theory and linear error-correcting codes
lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
lfmtp-page
LFMTP web site
math-comp
Mathematical Components
pygments
Pygments is a generic syntax highlighter written in Python
tlc
Library for Classical Coq
vscoq
A Visual Studio Code extension for Coq [maintainer=@maximedenes]
wacoq-bin
Coq WebAssembly interface
why3-elpi
Embeddings of the Why3 API in λProlog