https://github.com/thery/lemonde

les problèmes proposés par le journal Le Monde en Coq
https://github.com/thery/lemonde

coq coq-formalization french mathematic problem-solving

Last synced: 3 months ago
JSON representation

les problèmes proposés par le journal Le Monde en Coq

• Host: GitHub
• URL: https://github.com/thery/lemonde
• Owner: thery
• License: mit
• Created: 2019-02-20T14:55:09.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2024-02-06T16:24:00.000Z (11 months ago)
• Last Synced: 2024-02-06T17:39:47.365Z (11 months ago)
• Topics: coq, coq-formalization, french, mathematic, problem-solving
• Language: Coq
• Homepage:
• Size: 75.2 KB
• Stars: 7
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        

# lemonde

[![Docker CI][docker-action-shield]][docker-action-link]

[docker-action-shield]: https://github.com/thery/lemonde/actions/workflows/docker-action.yml/badge.svg?branch=master

[docker-action-link]: https://github.com/thery/lemonde/actions/workflows/docker-action.yml

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](http://www-sop.inria.fr/marelle/Laurent.Thery/LeMonde/index.html)

## Meta

- Author(s):

  - Laurent Théry

- License: [MIT License](LICENSE)

- Compatible Coq versions: 8.9 or later

- Additional dependencies:

  - [MathComp ssreflect 2.2.0 or later](https://math-comp.github.io)

  - [MathComp fingroup 2.2.0 or later](https://math-comp.github.io)

  - [MathComp algebra 2.2.0 or later](https://math-comp.github.io)

- Coq namespace: `lemonde`

- Related publication(s): none

## Building and installation instructions

To build and install manually, do:

``` shell

git clone https://github.com/thery/lemonde.git

cd lemonde

make   # or make -j  

make install

```