KANREN
From MaRDI portal
Software:31905
swMATH20083MaRDI QIDQ31905FDOQ31905
Author name not available (Why is that?)
Cited In (7)
- α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic
- Review of “The Little Prover” by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015
- Debugging hygienic macros
- Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)
- Typed Relational Conversion
- Scheduling complexity of interleaving search
- Executable Relational Specifications of Polymorphic Type Systems Using Prolog
This page was built for software: KANREN
