Home My Page Projects CoqPrime
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

Project description

Certifying Prime Number with the Coq prover

Project Information

Registered: 2005-11-15 16:50
Activity Ranking: 529
View project Statistics or Activity
View list of RSS feeds available for this project.
Latest File Releases
Package Version Date Notes Download
coqprime coqprime_8.5b 2016-02-03 coqprime - Release Notes coqprime coqprime_8.5b - Download
Public Tools
Tracker  Tracker
 Public Forums (3 messages in 3 forums)
Mailing Lists (0 public mailing lists)
SCM Repository (Subversion: 986 updates, 668 adds)
Latest News
rss

8.4

Laurent Théry - 2012-10-02 18:36 -

New version for coq8.3pl1

Laurent Théry - 2011-03-29 22:41 -

Version for coq 8.2

Laurent Théry - 2010-03-25 08:36 -

Native 31 bits

Laurent Théry - 2007-05-24 10:19 -

Elliptic curve certificate

Laurent Théry - 2007-02-16 10:37 -

Square Root

Laurent Théry - 2006-02-21 09:05 -

Full code

Laurent Théry - 2005-12-19 16:37 -

Code and Proof

Laurent Théry - 2005-12-19 16:37 -

Proof

Laurent Théry - 2005-12-19 16:37 -

Arithmetic

Laurent Théry - 2005-12-19 16:36 -