欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
错误
数据库找不到预期的页面文字：“分类:Testing”（差异：，41490）。
这通常是由于点击了链向旧有差异或历史的链接，而原有修订已被删除导致的。
如果情况不是这样，您可能找到了软件的一个内部错误。请记录下URL地址，并向管理员报告。
分类“Testing”中的媒体文件
本分类包含下列15个文件，共15个文件。
分享您的观点
