Marelle

  • Home
  • Members
  • Research
  • Publications
  • Software
  • Teaching
  • Collaborations
  • News
    • Job offers
    • Seminars
    • Events
    • News
  • Contact

Séminaire Marelle : Automatisation de preuves en Coq par traduction en logique du premier ordre

Coq, les maths ont trouvé leur maître (Article de Science et Vie magazine)

Jul 29 2013

A Machine-Checked Proof of the Odd Order Theorem

  • By Nathalie BELLESSO in News

http://hal.inria.fr/hal-00816699/en/

  • Coq, Feit-Thompson, proof assistant

Nathalie BELLESSO

  • English
  • Français

Administration links

  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org

News

Blogroll

  • HAL tools
  • Inria

Team Web Sites Generator / SEISM / DSI / INRIA

Made with by Graphene Themes.