Pinned Repositories
alin-walks
analysis
UNSTABLE/DRAFT Mathematical Components compliant real analysis library
continuity-zoo
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
coq-num-notations
How to equip a scope with a parser for numerals, in Coq
coq-synthetic-computability
hierarchy-builder
High level commands to declare a hierarchy based on packed classes
HoTT
Homotopy type theory
lean-stacks-project
Formal verification of parts of the Stacks Project in Lean
lia4mathcomp
Preprocessing goals featuring mathcomp style operations before applying the lia tactic.
amahboubi's Repositories
amahboubi/lia4mathcomp
Preprocessing goals featuring mathcomp style operations before applying the lia tactic.
amahboubi/alin-walks
amahboubi/analysis
UNSTABLE/DRAFT Mathematical Components compliant real analysis library
amahboubi/continuity-zoo
amahboubi/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
amahboubi/coq-num-notations
How to equip a scope with a parser for numerals, in Coq
amahboubi/coq-synthetic-computability
amahboubi/hierarchy-builder
High level commands to declare a hierarchy based on packed classes
amahboubi/HoTT
Homotopy type theory
amahboubi/lean-stacks-project
Formal verification of parts of the Stacks Project in Lean
amahboubi/math-comp
Mathematical Components
amahboubi/math-comp.github.io
https://math-comp.github.io/
amahboubi/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
amahboubi/parametricity-a-la-carte
mixing CoqEAL and univalent parametricity
amahboubi/simplicials
Experimental Coq dev
amahboubi/smtcoq
Communication between Coq and SAT/SMT solvers
amahboubi/tutorial
Lean Tutorials
amahboubi/univalent_parametricity
Univalent Parametricity for Effective Transport
amahboubi/www
Source files of the coq.inria.fr website (static part)