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