scientific article
From MaRDI portal
Publication:2767010
zbMath0988.68584MaRDI QIDQ2767010
Publication date: 22 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (18)
Eisbach: a proof method language for Isabelle ⋮ Deep Generation of Coq Lemma Names Using Elaborated Terms ⋮ Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages ⋮ Hints in Unification ⋮ Tool-assisted specification and verification of typed low-level languages ⋮ Rewriting Strategies and Strategic Rewrite Programs ⋮ Why Would You Trust B? ⋮ Trace-based verification of imperative programs with I/O ⋮ Tactics for hierarchical proof ⋮ Proving Bounds on Real-Valued Functions with Computations ⋮ Experimenting Formal Proofs of Petri Nets Refinements ⋮ The proof monad ⋮ Unnamed Item ⋮ TacticToe: learning to prove with tactics ⋮ Harpoon: mechanizing metatheory interactively ⋮ Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving ⋮ Automated Certification of Implicit Induction Proofs ⋮ A Tactic Language for Hiproofs
Uses Software
This page was built for publication:
