Coq - KnxmWiki

[ Front page ] [ Edit | Freeze | Diff | Backup | Upload | Reload ] [ New | List of pages | Search | Recent changes | Help ]

Counter: 3192, today: 1, yesterday: 3

recent(20)

2013-05-22

Sketchometry

2013-05-21

MathLibre/Download

2013-05-17

MathBox.js

2013-05-14

KNOPPIX/Math/BBS

2013-05-08

SOSTOOLS

2013-04-19

open-geo-prover

2013-04-17

GeoGebra5

2013-04-08

2013-04-03

MathLibre/Debian/2013

2013-03-30

2013-03-29

2013-03-19

Git

2013-03-18

The Coq proof assistant †

http://coq.inria.fr/

Book †

Interactive Theorem Proving And Program Development by Yves Bertot, Pierre Castéran

Link †

LL魂に参加しました！

:included in knxm:

Last-modified: 2007-09-14 (Fri) 10:53:48 (2078d)