Sites similar to Coq.Inria.Fr
Welcome ! | The Coq Proof Assistant
Description: Allows the user to handle calculus assertions, to check mechanically proofs of these assertions, helps to find formal proofs, extracts a certified program from the constructive proof of its formal specification.
Popular Searches: coq inria
Site rating:
3.0 / 5.0, reviewed by Sites Like Search
Language: English
Site topics: math
Les recherches et actions de développement qui y sont menées sont centrées autour des technologies de l'information : réseaux et systèmes, génie logiciel et calcul ...
Site rating:
3.0 / 5.0, Language: Français
Scientific Literature Digital Library incorporating autonomous citation indexing, awareness and tracking, citation context, related document retrieval, similar ...
Site rating:
3.0 / 5.0, Language: English
The system documented originated at the Laboratory for Applied Logic of Brigham Young University and features higher-order, classical, natural deduction with ...
Site rating:
3.0 / 5.0, Language: English
Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
Site rating:
3.0 / 5.0, Language: English
Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and Tobias Kipkow at TU Munich.
Site rating:
3.0 / 5.0, Language: English
Trois directions de recherche : équations aux dérivées partielles, géométrie, logique. Université de Savoie, CNRS - EP 2067.
Site rating:
3.0 / 5.0, Language: Français
A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The most important inference rules in first order ...
Site rating:
3.0 / 5.0, Language: English
Proof General is an Emacs based generic interface for theorem provers
Site rating:
3.0 / 5.0, Language: English