swMATH13077MaRDI QIDQ24996FDOQ24996
Author name not available (Why is that?)
Official website: https://isabelle.in.tum.de/dist/Isabelle2015/doc/eisbach.pdf
Cited In (18)
- Transformer semantics
- Eisbach: a proof method language for Isabelle
- Interactive theorem proving. Preface of the special issue
- Robinson arithmetic
- Modal Kleene algebra applied to program correctness
- TacticToe: learning to prove with tactics
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant
- Title not available (Why is that?)
- libclang
- Tactician
- STeP
- ProofScript
- Differential_Game_Logic
- IEEE_Floating_Point
- From LCF to Isabelle/HOL
- Title not available (Why is that?)
- solc-verify
- ProofScript: proof scripting for the masses
This page was built for software: Eisbach
