Pinned Repositories
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
GCS
Geometric constraint systems in Coq
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"
jnarboux's Repositories
jnarboux/MediationInfoStrasbourg
Documents utilisés pour de la vulgarisation informatique, surtout du débranché
jnarboux/Coq_verbose
Some tactics to write more readable proofs in Coq
jnarboux/GCS
Geometric constraint systems in Coq
jnarboux/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
jnarboux/PA_a_priori_analysis
Accompanying files for the paper "Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis"
jnarboux/area-method
The Chou, Gao and Zhang area method
jnarboux/ATP
Repository of EuroProofNet WG 2 on ATPs
jnarboux/cargo-bot-tangible
A purely educational rendition of Cargo-Bot, designed to improve students' understanding of recursion.
jnarboux/CLP
Coherent Logic Prover of Dag Hovland
jnarboux/coq100
Statement of theorems proven in Coq
jnarboux/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
jnarboux/corn
jnarboux/europroofnet.github.io
Sources of the EuroProofNet web site.
jnarboux/GeometricAlgebra
Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/
jnarboux/GeoProof2006
Repostitory to store the source of GeoProof for software heritage. GeoProof is not maintained anymore.
jnarboux/InfoSansOrdi
Wiki principal du projet InfoSansOrdi
jnarboux/lean-verbose
Very controlled natural language tactics for Lean
jnarboux/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
jnarboux/run
Run the benchmarks.
jnarboux/tptp2coq
Conversion of the FOF TPTP format to Coq files
jnarboux/www
Sources files of the coq.inria.fr website (static part)