The following pages link to Twelf (Q18957):
Displaying 19 items.
- Theorem Proving in Higher Order Logics (Q5464642) (← links)
- Theorem Proving in Higher Order Logics (Q5464654) (← links)
- Theorem Proving in Higher Order Logics (Q5477646) (← links)
- Linearity Constraints as Bounded Intervals in Linear Logic Programming (Q5488612) (← links)
- Flexary Operators for Formalized Mathematics (Q5495932) (← links)
- α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic (Q5504659) (← links)
- Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic (Q5505551) (← links)
- 2-Dimensional Directed Type Theory (Q5739362) (← links)
- Proof Checking and Logic Programming (Q5743582) (← links)
- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (Q5747746) (← links)
- Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) (Q5747747) (← links)
- Verifying and Invalidating Textbook Proofs Using Scunak (Q5756759) (← links)
- General bindings and alpha-equivalence in Nominal Isabelle (Q5891628) (← links)
- An Effect System for Algebraic Effects and Handlers (Q5892064) (← links)
- Automated Deduction – CADE-19 (Q5900713) (← links)
- Automated Deduction – CADE-19 (Q5900725) (← links)
- Automated Deduction – CADE-19 (Q5900734) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901901) (← links)
- Proof-term synthesis on dependent-type systems via explicit substitutions (Q5958764) (← links)