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