Login / Signup
Review of "The Little Prover" by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015.
Éric Tanter
Published in:
J. Funct. Program. (2020)
Keyphrases
</>
mit press
theorem prover
theorem proving
statistical tests
united kingdom
post hoc
machine learning
data analysis
learning technologies