Eisbach
From MaRDI portal
Software:24996
swMATH13077MaRDI QIDQ24996FDOQ24996
Author name not available (Why is that?)
Cited In (9)
- ProofScript: Proof Scripting for the Masses
- Eisbach: a proof method language for Isabelle
- Interactive theorem proving. Preface of the special issue
- 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?)
- From LCF to Isabelle/HOL
- Title not available (Why is that?)
This page was built for software: Eisbach
