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 to prove that a function is total on its domain?

isabelle

Proving insertion sort algorithm using Isabelle

insertion-sort isabelle theorem-proving theorem

How to hide multiply defined constants

isabelle

Isabelle: run sledgehammer on a different machine then my normal PC where Isabelle/jEdit runs

isabelle

Splitting a variable of product/tuple/pair type into its members in apply style

isabelle

Isabelle 2017 -- getting started

isabelle theorem-proving

What do I do about "I/O error: /opt/afp/tools/lib/classes/afp_tools.jar" in an AFP submission?

isabelle

What's the difference between Map and Mapping in Isabelle?

functional-programming theory isabelle

How does a z3 certificate look like?

z3 isabelle

Isabelle/Pure Isabelle/HOL Isabell/Isar conceptual questions

isabelle isar hol

(Temporarily) disabling backtracking in Eisbach method

isabelle

In Isabelle, what do the angle brackets and double asterisks mean?

isabelle theorem-proving formal-verification isar

Introducing type abbreviations in Isabelle

isabelle

Why is a meta-universally quantified variable renamed and how is it prevented?

rename isabelle

Prove a basic lemma in Isabelle

isabelle

How to prove this simple theorem in Isabelle?

isabelle formal-verification

How proof assistants are implemented?

rocq-prover isabelle proof

Definition of Prime in Isabelle

isabelle
Older Entries »