欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
上传日志
下面是最近的文件上传的列表。图像概览请见新文件库。
(最后 | 最早) 查看(前20个 | 后20个)(20 | 50 | 100 | 250 | 500)- 2022年6月13日 (一) 08:22 Allen (讨论 | 贡献)上传“文件:Ayam-gui.png” (http://ayam.sourceforge.net/ category:3D category:tcl)
- 2022年6月13日 (一) 07:49 Allen (讨论 | 贡献)上传“文件:OpenSCAD-logo.png” (https://openscad.org/ category:3D category:CAD)
- 2022年6月11日 (六) 14:49 Allen (讨论 | 贡献)上传“文件:The-Greek-Alphabet.png” (category:mathematics)
- 2022年6月10日 (五) 14:56 Allen (讨论 | 贡献)上传“文件:ATP-Process.gif” (https://www.tptp.org/Seminars/TPTPWorldTutorial/ATPProcess.html category:formal)
- 2022年6月10日 (五) 13:49 Allen (讨论 | 贡献)上传“文件:Triton-architecture.png” (https://github.com/jonathansalwan/Triton category:formal category:LLVM category:compiler)
- 2022年6月10日 (五) 12:20 Allen (讨论 | 贡献)上传“文件:SMT-Basic-Architecture.png” (https://fm.csl.sri.com/SSFT14/SSFT14-2.pdf category:formal)
- 2022年6月10日 (五) 11:37 Allen (讨论 | 贡献)上传“文件:Microsoft-tools-based-on-z3.png” (https://fm.csl.sri.com/SSFT14/SSFT14-1.pdf category:pormal category:proof assistant)
- 2022年6月10日 (五) 04:10 Allen (讨论 | 贡献)上传“文件:Acl2s-logo.jpg” (http://acl2s.ccs.neu.edu/ category:formal category:lisp category:eclipse)
- 2022年6月10日 (五) 00:20 Allen (讨论 | 贡献)上传“文件:FMCAD-logo.png” (https://fmcad.org/ category:foraml category:CAD)
- 2022年6月9日 (四) 15:24 Allen (讨论 | 贡献)上传“文件:Nasa-fm-logo.jpg” (https://shemesh.larc.nasa.gov/fm/ category:formal)
- 2022年6月9日 (四) 15:06 Allen (讨论 | 贡献)上传“文件:PVS-Architecture.png” (图片取自:https://pvs.csl.sri.com/doc/strata03-slides.pdf category:formal category:lisp)
- 2022年6月9日 (四) 05:22 Allen (讨论 | 贡献)上传“文件:KeY-Symbolic-Execution-Debugger-SED.png” (取自《Deductive Software Verification – The KeY Book From Theory to Practice》 category:formal category:eclipse )
- 2022年6月9日 (四) 03:38 Allen (讨论 | 贡献)上传“文件:KeY-JML.png” (category:formal category:java)
- 2022年6月9日 (四) 02:58 Allen (讨论 | 贡献)上传“文件:Java-Modeling-Language-JML-logo.png” (https://www.cs.ucf.edu/~leavens/JML/index.shtml category:model category:java category:eclipse)
- 2022年6月8日 (三) 13:10 Allen (讨论 | 贡献)上传“文件:CakeML-Ecosystem.png” (https://cakeml.org/ category:formal category:proof assistant category:ML)
- 2022年6月8日 (三) 09:28 Allen (讨论 | 贡献)上传“文件:HOL-family-tree.png”的新版本 (图片取自:https://hol-theorem-prover.org/hol-course.pdf category:formal category:proof assistant)
- 2022年6月8日 (三) 02:14 Allen (讨论 | 贡献)上传“文件:CHAOSS-logo.png” (https://github.com/chaoss category:data mining category:data analysis category:data science)
- 2022年6月5日 (日) 05:23 Allen (讨论 | 贡献)上传“文件:IMO-logo.png” (category:mathematics)
- 2022年6月5日 (日) 02:39 Allen (讨论 | 贡献)上传“文件:Master-Translators-on-Translation.jpeg” (category:english category:book)
- 2022年6月2日 (四) 09:00 Allen (讨论 | 贡献)上传“文件:Maxima-logo.png”的新版本
分享您的观点