Loic le coq

Loic Le Coq

at Software Informer
Coq
Coq 8.4 Free

It provides a formal language to write mathematical definitions.

Coq is a formal

1
See non-reviewed loic le coq software
More Loic Le Coq
Loic Le Coq in introduction
DicomToolBox
2  Loic Boussel  49  Freeware
Displaying Dicom file with usual radiological tools .
XLogo
1  Loïc Le Coq  12  Freeware
XLogo is a Logo interpreter, written in Java and it supports nine languages.
GeoProof
 Julien Narboux  9  Freeware
This program is an interactive geometry software with proof related features.
WITSynchronizer
 Loic Baumann  Open source
Update WIQL definitions between a Process Template and a Team Project.
Swift Explorer
 Loic Merckel  11  Open source
Manages the files in the OpenStack Storage systems.
Non-reviewed