Skip to content

Releases: math-comp/cad

Full proof of correctness of the CAD algorithm

12 Dec 12:52
@CohenCyril CohenCyril
v1.1
36caace
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
Full proof of correctness of the CAD algorithm Latest
Latest

Proof of existence of a CAD and statement and specification of a sampling algorithm.

Fixed opam and readme

Assets 2
Loading

Full proof of correctness of the CAD algorithm

07 Dec 12:11
@Tragicus Tragicus
v1.0
31d68ee
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
Full proof of correctness of the CAD algorithm

Proof of existence of a CAD and statement and specification of a sampling algorithm.

Assets 2
Loading

formalisation des ensembles et fonctions semi-algébriques

25 Sep 09:12
@grianneau grianneau
v0.1
59c4349
Compare
Choose a tag to compare
formalisation des ensembles et fonctions semi-algébriques Pre-release
Pre-release 
v0.1

compiles with Coq 8.8 and SSR dev from 23/05/2018
Assets 2
Loading