The following pages link to KANREN (Q31905):
Displaying 7 items.
- Debugging hygienic macros (Q608231) (← links)
- Scheduling complexity of interleaving search (Q2163166) (← links)
- Executable Relational Specifications of Polymorphic Type Systems Using Prolog (Q2798266) (← links)
- Typed Relational Conversion (Q5056070) (← links)
- Review of “The Little Prover” by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015 (Q5110929) (← links)
- Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) (Q5458428) (← links)
- α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic (Q5504659) (← links)
