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 Info

Registered: 2005-11-15 16:50
Activity Ranking: 779
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 Areas
Tracker Tracker
 Public Forums (2 messages in 8 forums)
 Mailing Lists (0 public mailing lists)
 SCM Repository (Subversion: 874 commits, 653 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 -