José A. Alonso on Nostr: nprofile1q…cyy3k Teaching "Foundations of mathematics" with the LEAN theorem prover ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqe2vt8v40ytjl55umvznpmdmyf2va67vdhp8eu8f8yalp2l7a7rpqfcyy3k (nprofile…yy3k) Teaching "Foundations of mathematics" with the LEAN theorem prover (Master's Thesis). https://user.math.uzh.ch/cattaneo/bottoni.pdf #ITP #LeanProver #Logic #Math