Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in isabelle

verify an Isabelle proof from the command line

command-line isabelle

Bad theory import in isabelle

isabelle

Max of set in Isabelle

choice isabelle

Building a session using `isabelle` vs jEdit

isabelle jedit

Automatic translation from Isabelle/HOL to HOL

isabelle hol

Partial function in Coq / underdefined?

compiler-construction isabelle agda

Apply a method if and only if it solves the current goal

proof isabelle

Defining overloaded constants in Isabelle

overloading isabelle

What is the difference between primrec and fun in Isabelle/HOL?

isabelle

Isabelle2016 and Proof General

isabelle theorem-proving proof-general

How to hide defined constants

isabelle

What do colour codes mean in Isabelle/jEdit?

isabelle jedit

Using "find_theorems" in Isabelle

isabelle

Drop a premise in a goal in apply style

isabelle

How to manage all the various proof methods

isabelle

How to enable "Tracing" in Isabelle/jEdit

isabelle

Are there other HOL programming languages besides Caledon that are based on haskell?

haskell isabelle dependent-type

Universal Quantification in Isabelle/HOL

proof isabelle

When would you use `presume` in an Isar proof?

isabelle isar
« Newer Entries Older Entries »