<--- Back to Details
First PageDocument Content
Tum / Technical University Munich / TUM Institute for Advanced Study / TUM Graduate School
Date: 2013-05-14 05:27:58
Tum
Technical University Munich
TUM Institute for Advanced Study
TUM Graduate School

Add to Reading List

Source URL: www.fundraising.tum.de

Download Document from Source Website

File Size: 60,66 KB

Share Document on Facebook

Similar Documents

Mathematical logic / Logic / Proof theory / Mathematics / Proof assistants / Logic in computer science / Type theory / Substructural logic / Sequent / First-order logic / Isabelle / Higher-order logic

PDF Document

DocID: 1xVhU - View Document

Software / Theoretical computer science / Formal methods / Logic in computer science / Automated theorem proving / Constraint programming / Isabelle / SPASS / Satisfiability modulo theories / Frama-C / Alt-Ergo / Vampire

PDF Document

DocID: 1xV90 - View Document

Mathematics / Order theory / Algebra / Abstract algebra / Lattice theory / Mathematical logic / Algebraic structures / Predicate logic / Distributive lattice / Complete Heyting algebra / Mereology / Partially ordered set

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

DocID: 1xV3j - View Document

System software / Software / Computing / Scripting languages / System administration / Cygwin / Red Hat software / Command shells / Unix shell / Environment variable / Shell script / Command-line interface

PDF Document

DocID: 1xV06 - View Document

Computer programming / Software engineering / Computing / Fold / Recursion / LaTeX

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

DocID: 1xUVj - View Document