perfect-math-class.leni.sh - Internet Explorer 2.0

perfect-math-class.leni.sh

https://gyazo.com/3f58c724c912eecb5236f30fe35e80c9

https://perfect-math-class.leni.sh/

スタンフォード大で実際に行われたLeanで数学をやる，という講義の資料

https://leni.sh/post/250201-cs99/

Besides obvious reasons that subscriber to this blog will know, ...

チルノのパーフェクトさんすう教室