The following pages link to Lambda-Clam (Q31439):
Displaying 24 items.
- Proceedings of the 12th symposium on the integration of symbolic computation and mechanized reasoning (Calculemus 2005), Newcastle-upon-Tyne, UK, July 18--19, 2005 (Q371382) (← links)
- The use of embeddings to provide a clean separation of term and annotation for higher order rippling (Q540694) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- SAD as a mathematical assistant -- how should we go from here to there? (Q865654) (← links)
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- Proof planning with multiple strategies (Q2389631) (← links)
- Discovering applications of higher order functions through proof planning (Q2576573) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- (Q2767046) (← links)
- A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas (Q2841241) (← links)
- (Q2848045) (← links)
- (Q2852043) (← links)
- Enhancing Theorem Prover Interfaces with Program Slice Information (Q2867933) (← links)
- (Q4241266) (← links)
- (Q4428294) (← links)
- (Q4790660) (← links)
- (Q4808728) (← links)
- Computer-assisted human-oriented inductive theorem proving by descente infinie--a manifesto (Q4913999) (← links)
- (Q4938413) (← links)
- Automated Deduction – CADE-20 (Q5394617) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450782) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)
