<--- Back to Details
First PageDocument Content
Software / Proof assistants / Computing / Logic in computer science / JEdit / Isabelle / Standard ML / Plug-in / Selection / Logic for Computable Functions / HOL / Isabel
Date: 2018-08-15 07:19:03
Software
Proof assistants
Computing
Logic in computer science
JEdit
Isabelle
Standard ML
Plug-in
Selection
Logic for Computable Functions
HOL
Isabel

Add to Reading List

Source URL: www.cl.cam.ac.uk

Download Document from Source Website

File Size: 2,09 MB

Share Document on Facebook

Similar Documents

Mathematics / Theoretical computer science / Applied mathematics / Logic in computer science / Formal methods / Computational neuroscience / Artificial neural networks / Proof assistants / Entropy / Coq / N-gram / Recurrent neural network

Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki

DocID: 1xVtC - View Document

Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics,

DocID: 1vgAJ - View Document

Software engineering / Software / Type theory / Programming language theory / Proof assistants / Functional languages / Formal methods / Logic in computer science / Formal verification / Dependent type / Agda / Coq

ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵ ｃｏｓｔ＠ＰＵＵＯＱＵ ｄｅｃｉｓｉｏｎ ｓｵ｢ｪ･｣ｴＺ＠

DocID: 1rtVS - View Document

Theoretical computer science / Software engineering / Programming language theory / Logic in computer science / Proof assistants / Formal methods / Automated theorem proving / Isabelle / Satisfiability modulo theories / ACL2 / Curry / Logic for Computable Functions

Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t

DocID: 1rlXv - View Document

Logic / Mathematical logic / Abstraction / Predicate logic / Proof assistants / Mizar system / Andrzej Trybulec / Formal methods / First-order logic / TarskiGrothendieck set theory / Constructible universe / Mizar

Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski

DocID: 1rlwk - View Document