Lambda-Clam
From MaRDI portal
Software:31439
No author found.
Source code repository: https://github.com/theoremprover-museum/lambdaclam
Related Items
Unnamed Item ⋮ Proof planning with multiple strategies ⋮ TPS: A hybrid automatic-interactive system for developing proofs ⋮ A proof-centric approach to mathematical assistants ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ SAD as a mathematical assistant -- how should we go from here to there? ⋮ Supporting the formal verification of mathematical texts ⋮ Unnamed Item ⋮ Crystal: Integrating structured queries into a tactic language ⋮ Proceedings of the 12th symposium on the integration of symbolic computation and mechanized reasoning (Calculemus 2005), Newcastle-upon-Tyne, UK, July 18--19, 2005 ⋮ Unnamed Item ⋮ Automated Deduction – CADE-20 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Computer-assisted human-oriented inductive theorem proving by descente infinie--a manifesto ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The use of embeddings to provide a clean separation of term and annotation for higher order rippling ⋮ MBase: Representing knowledge and context for the integration of mathematical software systems ⋮ KI 2004: Advances in Artificial Intelligence ⋮ A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas ⋮ Discovering applications of higher order functions through proof planning ⋮ Enhancing Theorem Prover Interfaces with Program Slice Information
This page was built for software: Lambda-Clam