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

News

Choose a News item and you can browse, search, and post messages.

8.4

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

A new version is available for 8.4

0 Comment Read More/Comment

New version for coq8.3pl1

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

A new version for coq8.3pl1

0 Comment Read More/Comment

Version for coq 8.2

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

Version for coq 8.2

0 Comment Read More/Comment

Native 31 bits

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

Thanks to Arnaud Spiwack, we now have access to a 31 bits native arithmetic.

0 Comment Read More/Comment

Elliptic curve certificate

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

we can now check goldwasser-atkin certificate

0 Comment Read More/Comment

Square Root

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

Square Root has been added

0 Comment Read More/Comment

Full code

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

First version with full code. It contains:

0 Comment Read More/Comment

Code and Proof

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

Version version with code and proofs

0 Comment Read More/Comment

Proof

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

Multiplication and division are ok

0 Comment Read More/Comment

Arithmetic

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

First shot of modular arithmetic by Benjamin

0 Comment Read More/Comment