lemonde

Les énigmes du Monde

Une tentative de formaliser en Coq les problèmes proposés par le journal Le Monde en 2013 comme énigmes mathématiques.

Les vidéos

Meta

• Author(s):
  • Laurent Théry
• License: MIT License
• Compatible Coq versions: 8.9 or later
• Additional dependencies:
  • MathComp ssreflect 2.2.0 or later
  • MathComp fingroup 2.2.0 or later
  • MathComp algebra 2.2.0 or later
• Coq namespace: lemonde
• Related publication(s): none

Building and installation instructions

To build and install manually, do:

git clone https://github.com/thery/lemonde.git
cd lemonde
make   # or make -j <number-of-cores-on-your-machine> 
make install