4万行Coq代码立大功

• 陶哲轩转赞！40多年「忙碌海狸」数学难题获突破，4万行Coq代码立大功

  
  站长资讯站长网2024-07-03 21:48:49

  0000