Review of “The Little Prover” by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015

DOI10.1017/S0956796820000052zbMath1462.00024OpenAlexW3013622578MaRDI QIDQ5110929

Éric Tanter

Publication date: 26 May 2020

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796820000052

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) External book reviews (00A17) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• miniKanren
• KANREN

This page was built for publication: Review of “The Little Prover” by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015