books March 13, 2019 posts related to books lean-ualib March 13, 2019 Documentation for background theory underlying the lean-ualib code March 12, 2019 about January 2, 2012