issues
search
hrmacbeth
/
math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
184
stars
82
forks
source link
Update 09_Sets.html
#12
Closed
krenax
closed
5 months ago