megrxu
Dev
Talk
Writing
Photo
Math
Formal Proofs in Combinatorics
「
Math
」
This text is based on related reading about formal proofs in combinatroics.
May 13, 2020