Lambda-Clam

swMATH19614MaRDI QIDQ31439FDOQ31439

Author name not available (Why is that?)

Source code repository: https://github.com/theoremprover-museum/lambdaclam

Cited In (24)

• Title not available (Why is that?)
• Title not available (Why is that?)
• The use of embeddings to provide a clean separation of term and annotation for higher order rippling
• Title not available (Why is that?)
• Automated Deduction – CADE-20
• KI 2004: Advances in Artificial Intelligence
• Computer-assisted human-oriented inductive theorem proving by descente infinie--a manifesto
• Title not available (Why is that?)
• Discovering applications of higher order functions through proof planning
• Title not available (Why is that?)
• MBase: Representing knowledge and context for the integration of mathematical software systems
• A proof-centric approach to mathematical assistants
• Supporting the formal verification of mathematical texts
• Computer supported mathematics with \(\Omega\)MEGA
• A proof-planning framework with explicit abstractions based on indexed formulas
• Crystal: Integrating structured queries into a tactic language
• Title not available (Why is that?)
• Proof planning with multiple strategies
• Failure reasoning in multiple-strategy proof planning
• TPS: A hybrid automatic-interactive system for developing proofs
• SAD as a mathematical assistant -- how should we go from here to there?
• On the comparison of proof planning systems: \(\lambda\)\textsc{clam}, \(\Omega\)\textsc{mega} and \textsc{IsaPlanner}
• Proceedings of the 12th symposium on the integration of symbolic computation and mechanized reasoning (Calculemus 2005), Newcastle-upon-Tyne, UK, July 18--19, 2005
• Enhancing theorem prover interfaces with program slice information

This page was built for software: Lambda-Clam