Understanding Mathematics Through Lean(bytesauna.com)3 points·by mapehe·7 เดือนที่ผ่านมา·1 commentsbytesauna.comUnderstanding Mathematics Through Leanhttps://bytesauna.com/post/proofs-as-types?source=email1 commentsPost comment[–]mapehe·7 เดือนที่ผ่านมาreplyHi! This is my blog. It's for work, but I just write about whatever happens to interest me.Hope you like this week's post.
Hope you like this week's post.