@article{Tanter20,
  title = {Review of “The Little Prover” by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015},
  author = {ÉRIC TANTER},
  journal = {Journal of Functional Programming},
  volume = {30},
  year = {2020},
  doi = {10.1017/s0956796820000052}
}