欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
TextWeaver
来自开放百科 - 灰狐
TextWeaver is open source discussion forum package designed for online education. It is free and can be used or modified at will. The program can be downloaded from this site in both PC and Mac versions.
分享您的观点