How to Prove it with Lean

DOI10.1080/00029890.2025.2532295MaRDI QIDQ6901009zbMATH OpenFDO

Authors Nathan C. Carter

Publication date 12 November 2025

Published in American Mathematical Monthly (Search for Journal in Brave)

Mathematics Subject Classification ID

External book reviews (00A17)

This page was built for publication: How to Prove it with Lean

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6901009)