A web-based toolkit for mathematical word processing applications with semantics

DOI10.1007/978-3-319-62075-6_19zbMath1367.68332OpenAlexW2724316322MaRDI QIDQ2364686

Kenneth G. Monks, Nathan C. Carter

Publication date: 21 July 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-62075-6_19

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies for text processing; mathematical typography (68U15)

Related Items

Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} ⋮ webLurch

Uses Software

• Coq
• jQuery
• HOL Light
• MMT
• Isabelle/PIDE
• Lurch
• MathJax
• Agda
• CalcCheck
• LyX
• Lean
• Literate CoffeeScript
• Markdown
• MathQuill
• GitHub
• jsfs
• TinyMCE
• CoffeeScript

Cites Work

• A scalable module system
• Variable declarations in natural deduction
• The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math”
• The Lean Theorem Prover (System Description)
• Dependently Typed Programming in Agda