The following pages link to Eisbach (Q24996):
Displayed 9 items.
- Interactive theorem proving. Preface of the special issue (Q287356) (← links)
- Eisbach: a proof method language for Isabelle (Q287365) (← links)
- TacticToe: learning to prove with tactics (Q2031416) (← links)
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant (Q2051568) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Modal Kleene algebra applied to program correctness (Q2281640) (← links)
- ProofScript: Proof Scripting for the Masses (Q3179409) (← links)
- (Q5094129) (← links)
- (Q5875431) (← links)