Whelp
From MaRDI portal
Software:44157
No author found.
Related Items (13)
Classification of alignments between concepts of formal mathematical systems ⋮ A survey on retrieval of mathematical knowledge ⋮ Crystal: Integrating structured queries into a tactic language ⋮ Recycling proof patterns in Coq: case studies ⋮ User interaction with the Matita proof assistant ⋮ Integrating searching and authoring in Mizar ⋮ A User Interface for a Mathematical System that Allows Ambiguous Formulae ⋮ An Interactive Driver for Goal-directed Proof Strategies ⋮ The Matita Interactive Theorem Prover ⋮ Relational data across mathematical libraries ⋮ Experiences from exporting major proof assistant libraries ⋮ Proof assistants: history, ideas and future ⋮ Web Interfaces for Proof Assistants
This page was built for software: Whelp
