The following pages link to lean TAP revisited (Q4399512):
Displaying 5 items.
- Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)
- CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity (Q3185758) (← links)
- Theorem proving for conditional logics: CondLean and GOALD<i>U</i>CK (Q3643366) (← links)
- ileanTAP: An intuitionistic theorem prover (Q4610335) (← links)
- Leaping shampoo (Q5303416) (← links)