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

CoqPrime: Project Home - forge_get_config('forge_name')

Project description

Certifying Prime Number with the Coq prover

Project Information

Registered: 2005-11-15 16:50
Activity Ranking: 781
View project Statistics or Activity
View list of RSS feeds available for this project.
Latest File Releases
Package Version Date Notes Monitor Download
coqprime coqprime_v84 October 2, 2012 coqprime - Release Notes coqprime - Monitor this package coqprime coqprime_v84 - Download
Public Tools
Tracker Tracker
 Public Forums (3 messages in 3 forums)
Mailing Lists (0 public mailing lists)
SCM Repository (Subversion: 958 updates, 663 adds)
Latest News

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 -