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

New posts in isabelle

How can I easily write simple tactics at the ML level of Isabelle?

sml isabelle

Idiomatic Proof by Contradiction in Isabelle?

proof isabelle isar

How to make the assumption of the second case of an Isabelle/Isar proof by cases explicit right in place?

proof isabelle isar

Why won't Isabelle simplify the body of my "if _ then _ else" construct?

isabelle

How do I generate LaTeX from Isabelle/HOL? [closed]

latex isabelle

In Isabelle, how to print the state (i.e. subgoals to prove) in other formats (like S-expression, Json format...)?

isabelle

Isabelle/HOL foundations

isabelle

Definition of a certified program

coq isabelle agda idris

What are the strengths and weaknesses of the Isabelle proof assistant compared to Coq?

coq isabelle formal-methods
« Newer Entries