Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in isabelle
How can I use rules suggested by solve_direct? (by (rule …) doesn't always work)
Mar 28, 2022
solver
proof
isabelle
theorem-proving
Isabelle/HOL: What does the THE construct denote?
Oct 21, 2020
isabelle
How do I display brackets around assumptions in Isabelle/jEdit?
Jan 26, 2021
jedit
isabelle
proof-general
Is there a way to get a complete list of all kinds of operators/constructors of Isabelle?
Jun 25, 2022
isabelle
verify an Isabelle proof from the command line
Mar 19, 2021
command-line
isabelle
Bad theory import in isabelle
Aug 31, 2022
isabelle
Max of set in Isabelle
Apr 04, 2019
choice
isabelle
Building a session using `isabelle` vs jEdit
Sep 05, 2021
isabelle
jedit
Automatic translation from Isabelle/HOL to HOL
Oct 31, 2020
isabelle
hol
Partial function in Coq / underdefined?
Apr 21, 2022
compiler-construction
isabelle
agda
Apply a method if and only if it solves the current goal
Apr 13, 2022
proof
isabelle
Defining overloaded constants in Isabelle
May 08, 2022
overloading
isabelle
What is the difference between primrec and fun in Isabelle/HOL?
Jan 10, 2022
isabelle
Isabelle2016 and Proof General
Mar 26, 2022
isabelle
theorem-proving
proof-general
How to hide defined constants
Nov 14, 2018
isabelle
What do colour codes mean in Isabelle/jEdit?
Jan 22, 2022
isabelle
jedit
Using "find_theorems" in Isabelle
Jul 28, 2022
isabelle
Drop a premise in a goal in apply style
May 20, 2018
isabelle
How to manage all the various proof methods
Jun 26, 2022
isabelle
« Newer Entries
Older Entries »
Menu