Coqで公理的集合論

00:00
尾形学士 @gaxiiiiiiiiiiii
  • Level 4
  • Fanned 4
はちみつ屋/クリプト/Coq
Twitter Account