jnarboux Goto Github PK

area-method

The Chou, Gao and Zhang area method

atp

Repository of EuroProofNet WG 2 on ATPs

cargo-bot-tangible

A purely educational rendition of Cargo-Bot, designed to improve students' understanding of recursion.

clp

Coherent Logic Prover of Dag Hovland

coq100

Statement of theorems proven in Coq

coq_verbose

Some tactics to write more readable proofs in Coq

coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

corn

europroofnet.github.io

Sources of the EuroProofNet web site.

gcs

Geometric constraint systems in Coq

geometricalgebra

Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/

geoproof2006

Repostitory to store the source of GeoProof for software heritage. GeoProof is not maintained anymore.

infosansordi

Wiki principal du projet InfoSansOrdi

lean-verbose

Very controlled natural language tactics for Lean

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

mediationinfostrasbourg

Documents utilisés pour de la vulgarisation informatique, surtout du débranché

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

pa_a_priori_analysis

Accompanying files for the paper "Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis"

run

Run the benchmarks.

tptp2coq

Conversion of the FOF TPTP format to Coq files

www

Sources files of the coq.inria.fr website (static part)