Web interfaces for proof assistants

DOI10.1016/J.ENTCS.2006.09.021MaRDI QIDQ2867935zbMATH OpenOpenAlexWikidataFDO

Authors Cezary Kaliszyk

Publication date 20 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.09.021

zbMATH Keywords

interfaceCoqproof assistantwebasynchronous DOM modification

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• A web interface for Isabelle: the next generation
• scientific article; zbMATH DE number 1629953
• scientific article; zbMATH DE number 2154392
• Collaborative Interactive Theorem Proving with Clide
• Proviola: a tool for proof re-animation

Cites work

• 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?)
• Advanced Functional Programming
• Isabelle/HOL. A proof assistant for higher-order logic
• Knowledge representation and management in ACTIVEMATH
• Mathematical Knowledge Management
• Types for Proofs and Programs
• \(\Omega\)\textsc{mega}: towards a mathematical assistant

Cited in

(8)

• A user-friendly interface for a lightweight verification system
• Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit
• scientific article; zbMATH DE number 1629953 (Why is no real title available?)
• HOL(y)Hammer: online ATP service for HOL Light
• Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
• Crafting a Proof Assistant
• Proviola: a tool for proof re-animation
• A web interface for Isabelle: the next generation

Describes a project that uses

Uses Software

• Whelp
• Pcoq
• Epigram
• Proof General Kit
• OMDoc
• C-CoRN
• Proof General
• Isabelle/HOL
• Coq

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)