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

New posts in isabelle

Proving simple theorem about cases mod 10

isabelle modular-arithmetic

How do I overload notation without getting warnings and not using type classes?

locale overloading typeclass notation isabelle

Isabelle: how to work with matrices

matrix isabelle theorem-proving

AFP Dijkstra's Shortest Path Algorithm

isabelle

Fixing type variables in locale extensions

polymorphism isabelle type-variables

Substitution behaviour in Isabelle

isabelle

How to generate html version of Isabelle theory

isabelle theorem-proving

Certified calculations in a proof assistant

rocq-prover isabelle theorem-proving proof-of-correctness hol

Is 1 / 0 = 0 according to Isabelle?

isabelle

Usage of "also have...finally have" in Isabelle

isabelle isar

Using the rule 'classical' in Isabelle

logic isabelle

Z into Isabelle

formal-languages logic isabelle

Rewriting with non-equality equivalence-relations using Isabelle simplifier

isabelle

Why can't I define nat in Isabelle?

isabelle

`find_theorems` in the AFP

isabelle
Older Entries »