Web interfaces for proof assistants
From MaRDI portal
Recommendations
Cites work
- \(\Omega\)\textsc{mega}: towards a mathematical assistant
- Advanced Functional Programming
- scientific article; zbMATH DE number 1629953 (Why is no real title available?)
- scientific article; zbMATH DE number 2079831 (Why is no real title available?)
- scientific article; zbMATH DE number 1863377 (Why is no real title available?)
- Isabelle/HOL. A proof assistant for higher-order logic
- Knowledge representation and management in ACTIVEMATH
- Mathematical Knowledge Management
- Types for Proofs and Programs
Cited in
(8)- HOL(y)Hammer: online ATP service for HOL Light
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- scientific article; zbMATH DE number 1629953 (Why is no real title available?)
- A web interface for Isabelle: the next generation
- Proviola: a tool for proof re-animation
- Crafting a Proof Assistant
- A user-friendly interface for a lightweight verification system
- Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit
Describes a project that uses
Uses Software
This page was built for publication: Web interfaces for proof assistants
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2867935)
