欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Metalink
来自开放百科 - 灰狐
Metalink is an open specification that harnesses the speed and power of peer to peer networking, FTP, and HTTP with a single click.
For users and content providers, Metalink makes things simpler, faster, and more reliable.
Links
分享您的观点