欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
上传日志
下面是最近的文件上传的列表。图像概览请见新文件库。
(最后 | 最早) 查看(前20个 | 后20个)(20 | 50 | 100 | 250 | 500)- 2021年12月25日 (六) 14:16 Allen (讨论 | 贡献)上传“文件:Maxima-plot3d.png” (category:mathematics category:lisp)
- 2021年12月25日 (六) 10:56 Allen (讨论 | 贡献)上传“文件:LFE-logo.png”的新版本
- 2021年12月25日 (六) 10:53 Allen (讨论 | 贡献)上传“文件:LFE-logo.png” (category:lisp category:erlang)
- 2021年12月25日 (六) 08:56 Allen (讨论 | 贡献)上传“文件:Gtoolkit-importing-cpp-blueprint-ast.png” (https://gtoolkit.com/docs/analyzing-systems/ category:smalltalk)
- 2021年12月25日 (六) 06:33 Allen (讨论 | 贡献)上传“文件:Pharo-9.0.png” (category:smalltalk)
- 2021年12月25日 (六) 01:37 Allen (讨论 | 贡献)上传“文件:Isabelle-implementation.png” (https://isabelle.in.tum.de/dist/library/Doc/Implementation/index.html category:proof assistant )
- 2021年12月25日 (六) 01:12 Allen (讨论 | 贡献)上传“文件:Isabelle-plugin-manager.png” (https://isabelle.in.tum.de/ category:proof assistant )
- 2021年12月25日 (六) 00:53 Allen (讨论 | 贡献)上传“文件:Isabelle.png” (https://isabelle.in.tum.de/ category:proof assistant )
- 2021年12月24日 (五) 03:24 Allen (讨论 | 贡献)上传“文件:AllegroGraph-Architecture.jpg” (https://allegrograph.com/products/allegrograph/ category:graph database category:lisp)
- 2021年12月23日 (四) 12:37 Allen (讨论 | 贡献)上传“文件:Woo-benchmark.png” (https://github.com/fukamachi/woo category:web server category:lisp)
- 2021年12月23日 (四) 10:16 Allen (讨论 | 贡献)上传“文件:Mathematical-object.png” (https://zh.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E5%AF%B9%E8%B1%A1 category:mathematics)
- 2021年12月23日 (四) 07:36 Allen (讨论 | 贡献)上传“文件:Mathematics-expression.png” (https://zh.wikipedia.org/wiki/%E8%A1%A8%E7%A4%BA%E5%BC%8F category:mathematics)
- 2021年12月22日 (三) 03:09 Allen (讨论 | 贡献)上传“文件:Deduction-architecture.png” (https://zh.wikipedia.org/wiki/%E5%B8%8C%E5%B0%94%E4%BC%AF%E7%89%B9%E6%BC%94%E7%BB%8E%E7%B3%BB%E7%BB%9F 涉及证明论和逻辑演算)
- 2021年12月22日 (三) 02:43 Allen (讨论 | 贡献)上传“文件:GNU-Prolog-logo.png” (http://www.gprolog.org/ category:GNU category:programming language)
- 2021年12月22日 (三) 02:23 Allen (讨论 | 贡献)上传“文件:Curry-language.png” (https://curry.pages.ps.informatik.uni-kiel.de/curry-lang.org/ category:haskell)
- 2021年12月21日 (二) 04:00 Allen (讨论 | 贡献)上传“文件:Coq-proof-assistant.png” (http://people.rennes.inria.fr/Assia.Mahboubi//slides1.pdf category:coq category:proof assistant)
- 2021年12月20日 (一) 11:49 Allen (讨论 | 贡献)上传“文件:Compcert-diagram.png” (https://compcert.org/ category:proof assistant category:coq)
- 2021年12月20日 (一) 06:14 Allen (讨论 | 贡献)上传“文件:Deepspec-logo.png” (https://deepspec.org category:proof assistant)
- 2021年12月20日 (一) 05:53 Allen (讨论 | 贡献)上传“文件:Verified-Software-Toolchain.jpg” (https://vst.cs.princeton.edu/ category:proof assistant)
- 2021年12月20日 (一) 05:48 Allen (讨论 | 贡献)上传“文件:Deepspec.png” (https://deepspec.org category:proof assistant )
分享您的观点