Eisbach
From MaRDI portal
Cited in
(18)- Eisbach: a proof method language for Isabelle
- Interactive theorem proving. Preface of the special issue
- TacticToe: learning to prove with tactics
- Modal Kleene algebra applied to program correctness
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant
- libclang
- Tactician
- STeP
- ProofScript
- Differential_Game_Logic
- IEEE_Floating_Point
- scientific article; zbMATH DE number 7649971 (Why is no real title available?)
- Transformer semantics
- From LCF to Isabelle/HOL
- solc-verify
- scientific article; zbMATH DE number 7566057 (Why is no real title available?)
- Robinson arithmetic
- ProofScript: proof scripting for the masses
This page was built for software: Eisbach
