欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
搜索结果
在本wiki上新建名为“Ta”的页面!
- ...le to locate a VoIP answer supplying neighborhood and domestic extended-distance, such as a wide assortment of extras such as, call waiting, and voice ma3 KB(588个字) - 2012年5月17日 (四) 19:38
- *[[GNU social]] 的功能类似Twtter,是 [[StatusNet]] 项目的延续,PHP编写且开源(GNU AGPL)。(2019.02.23) {| class="wikitable"7 KB(514个字) - 2021年7月28日 (三) 06:59
- ...群及李代数(记为LIE)谱理论(记为TS)代数拓扑(记为TA) [[ML]] (Meta language -> Mathematics language) 很有寓意,ML 实力体现在[[compil9 KB(727个字) - 2022年12月4日 (日) 03:12
分享您的观点