欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐移民
灰狐移民帮助自己和朋友到自由、民主、幸福的国度学习、工作和生活。
灰狐移民有别于通常赚钱的移民公司,它以自助和互助的方式运作,若有心意和感谢金会有赞助的方式进入灰狐基金会。