Author manuscript, published in "ITP - 3rd International Conference on Interactive Theorem Proving[removed])" Construction of real algebraic numbers in Coq

Source URL: hal.inria.fr

• Elementary mathematics
• Functions and mappings
• Field theory
• Cauchy sequence
• Topology
• Real closed field
• Intermediate value theorem
• Function
• Real number
• Mathematics
• Mathematical analysis
• Real algebraic geometry

CAS 1 et 2 Réclamation de Hugo Boss et du comité de course contre Synerciel, Mirabaud, Acciona, Initiatives Coeur, Maitre Coq, Energa, Groupe

Source URL: www.vendeeglobe.org

Certified Programming with Dependent Types Adam Chlipala September 26, 2013

Source URL: adam.chlipala.net

• Logic in computer science
• Formal methods
• Automated theorem proving
• Type theory
• Functional languages
• Proof assistant
• Twelf
• Coq
• ACL2
• Theoretical computer science
• Mathematics
• Software engineering

Les types quotients en Coq Cyril Cohen ˆ

Source URL: jfla.inria.fr

PDF Document

Source URL: ocvs.cfv.jp

• Agda
• Haskell
• Emacs
• ALF
• Type theory
• Dependent type
• Coq
• Lambda calculus
• Functional programming
• Software
• Computing
• Functional languages

PDF Document

Source URL: www.estonia.gov.uk

• A. Le Coq
• Tesco
• Saaz
• Estonia
• Political geography
• Tartu
• Viru
• Europe

PDF Document

Source URL: www.cs.rice.edu

• Computing
• OCaml
• Coq
• Type system
• Type variable
• Intuitionistic type theory
• ML
• ATS
• Monad
• Software engineering
• Programming language theory
• Type theory