René's URL Explorer Experiment


Title: Mathematical Components

Mail addresses
mathcomp-dev@inria.fr?subject=MathComp related paper
sympa@inria.fr?subject=SUBSCRIBE ssreflect

Generator: Org Mode

direct link

Domain: math-comp.github.io

Nonetext/html; charset=utf-8
authorReynald Affeldt

Links:

View the Project on GitHubhttps://github.com/math-comp/
Rocqhttps://rocq-prover.org/
formal proof of the Four Color Theoremhttps://www2.tcs.ifi.lmu.de/~abel/lehre/WS07-08/CAFR/4colproof.pdf
Odd Order (Feit-Thompson) Theoremhttps://inria.hal.science/hal-00816699/document
SSReflect proof languagehttps://rocq-prover.org/doc/V9.1.0/refman/proof-engine/ssreflect-proof-language.html
Installation instructionshttps://math-comp.github.io/installation.html
downloaded from githubhttps://github.com/math-comp/math-comp/releases
https://math-comp.github.io/mcb/
bookhttps://math-comp.github.io/mcb/
library graphhttps://math-comp.github.io/htmldoc_2_5_0/libgraph.html
coqdoc presentationhttps://math-comp.github.io/htmldoc_2_5_0/index.html
library graphhttps://math-comp.github.io/htmldoc_2_4_0/libgraph.html
coqdoc presentationhttps://math-comp.github.io/htmldoc_2_4_0/index.html
library graphhttps://math-comp.github.io/htmldoc_2_3_0/libgraph.html
coqdoc presentationhttps://math-comp.github.io/htmldoc_2_3_0/index.html
library graphhttps://math-comp.github.io/htmldoc_2_2_0/libgraph.html
coqdoc presentationhttps://math-comp.github.io/htmldoc_2_2_0/index.html
this pagehttps://math-comp.github.io/history.html
chapterhttps://rocq-prover.org/doc/V9.1.0/refman/proof-engine/ssreflect-proof-language.html
Books, lectures, videos, etc.https://math-comp.github.io/documentation.html
Research papershttps://math-comp.github.io/papers.html
issue/PR on githubhttps://github.com/math-comp/math-comp.github.io
Rocq's Zuliphttps://rocq-prover.zulipchat.com
Discoursehttps://coq.discourse.group/
archiveshttps://sympa.inria.fr/sympa/arc/ssreflect
information pagehttps://sympa.inria.fr/sympa/info/ssreflect
Inria-Microsoft Research Joint Centerhttps://www.microsoft.com/en-us/research/collaboration/inria-joint-centre/
herehttps://github.com/orgs/math-comp/people

Viewport: width=device-width, initial-scale=1


URLs of crawlers that visited me.