Lambda-Clam

swMATH19614MaRDI QIDQ31439FDOQ31439

Author name not available (Why is that?)

Official website: https://github.com/theoremprover-museum/lambdaclam/blob/master/README.md

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

Cited In (45)

• 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
• 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?)
• IsaPlanner
• MAYA
• IsaWin
• TAS
• TeXmacs
• MBase
• VSDITLU
• SicoTHEO
• Hat
• CLAM
• Omega-ANTS
• Oyster
• XBarnacle
• Prodigy
• Bliksem
• Doris
• Multi
• P.rex
• PROTEIN
• QuodLibet
• PROVERB
• Computer-assisted human-oriented inductive theorem proving by \textit{descente infinie} -- a manifesto
• 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