LATIN
From MaRDI portal
Software:31524
No author found.
Related Items (17)
Lax Theory Morphisms ⋮ Classification of alignments between concepts of formal mathematical systems ⋮ Formal Logic Definitions for Interchange Languages ⋮ Math Literate Knowledge Management via Induced Material ⋮ A scalable module system ⋮ The Mizar Mathematical Library in OMDoc: translation and applications ⋮ Semantics of \textsc{OpenMath} and \textsc{MathML3} ⋮ A Modular Type Reconstruction Algorithm ⋮ Parchments for CafeOBJ Logics ⋮ Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings ⋮ Project Abstract: Logic Atlas and Integrator (LATIN) ⋮ Experiences from exporting major proof assistant libraries ⋮ A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics ⋮ System Description: MathHub.info ⋮ Logic-independent proof search in logical frameworks (short paper) ⋮ The role of logical interpretations in program development ⋮ The future of logic: foundation-independence
This page was built for software: LATIN
