欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
使用代理:
记住(复制)维基媒体基金会代理服务器地址:145.97.39.130 - 145.97.39.140,端口:80