Atex · @Atexjam
957 followers · 6992 posts · Server mastodon.worldhttps://www.youtube.com/@pagene#PaigeRandallNorth
good resource for #mathbasics and touch of #lean #leantheoremprover #proofs #mathproof #mathproving
#mathbasics #lean #leantheoremprover #proofs #mathproof #mathproving
Last updated 2 years ago