欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
上传日志
下面是最近的文件上传的列表。图像概览请见新文件库。
(最后 | 最早) 查看(前50个 | 后50个)(20 | 50 | 100 | 250 | 500)- 2022年2月11日 (五) 08:34 Allen (讨论 | 贡献)上传“文件:Lazarus-package-graph.png” (category:IDE category:pascal)
- 2022年2月11日 (五) 06:53 Allen (讨论 | 贡献)上传“文件:FreeBASIC.png”的新版本 (category:programming language)
- 2022年2月11日 (五) 06:04 Allen (讨论 | 贡献)上传“文件:Automated-Formal-Verification.png” (http://verify.inf.usi.ch/sites/default/files/phd_thesis_grigory_fedyukovich.pdf category:formal)
- 2022年2月11日 (五) 05:50 Allen (讨论 | 贡献)上传“文件:Lazarus-IDE.png” (https://wiki.lazarus.freepascal.org/Screenshots category:IDE category:pascal)
- 2022年2月11日 (五) 05:38 Allen (讨论 | 贡献)上传“文件:Free-Pascal-logo.gif” (https://www.freepascal.org/ category:programming language)
- 2022年2月11日 (五) 05:22 Allen (讨论 | 贡献)上传“文件:SMT-LIB-logics.png” (http://smtlib.cs.uiowa.edu/logics.shtml category:formal)
- 2022年2月11日 (五) 04:28 Allen (讨论 | 贡献)上传“文件:HOL-family-tree.png” (《Computational Logic》 by Jörg H. Siekmann p143 category:formal verification )
- 2022年2月10日 (四) 14:03 Allen (讨论 | 贡献)上传“文件:Elm-Architecture.png” (https://guide.elm-lang.org/architecture/ category:elm)
- 2022年2月10日 (四) 13:01 Allen (讨论 | 贡献)上传“文件:Elm-benchmark.png” (https://elm-lang.org/ category:elm category:angular category:react)
- 2022年2月10日 (四) 05:58 Allen (讨论 | 贡献)上传“文件:Dlang-logo.png” (category:programming language)
- 2022年2月10日 (四) 05:29 Allen (讨论 | 贡献)上传“文件:FreeBASIC.png” (https://www.freebasic.net/ category:programming language)
- 2022年2月10日 (四) 04:32 Allen (讨论 | 贡献)上传“文件:Gambas-ide-gtk3.png” (http://gambas.sourceforge.net category:programming language)
- 2022年2月10日 (四) 04:28 Allen (讨论 | 贡献)上传“文件:GNU-Pascal.png” (http://www.gnu-pascal.de/gpc/h-index.html category:programming language category:GNU)
- 2022年2月9日 (三) 10:28 Allen (讨论 | 贡献)上传“文件:Isabelle-system-architecture.png” (https://docs.huihoo.com/proof/isabelle/experiments-in-verification/session01.pdf category:isabelle category:ML category:proof assistant category:emacs)
- 2022年2月9日 (三) 09:50 Allen (讨论 | 贡献)上传“文件:Cardano-blockchain.png” (https://forum.cardano.org/t/topic/93596 category:blockchain category:haskell)
- 2022年2月9日 (三) 06:41 Allen (讨论 | 贡献)上传“文件:Input-Output.png” (https://github.com/input-output-hk category:blockchain category:haskell)
- 2022年2月9日 (三) 06:31 Allen (讨论 | 贡献)上传“文件:Racket-logo.png”的新版本
- 2022年2月9日 (三) 02:52 Allen (讨论 | 贡献)上传“文件:Cardano-logo.png” (category:blockchain category:haskell)
- 2022年2月8日 (二) 15:49 Allen (讨论 | 贡献)上传“文件:Isabelle-code-generator-architecture.png” (https://docs.huihoo.com/proof/isabelle/isabelle2021-1/docs/codegen.pdf category:proof assistant category:isabelle)
- 2022年2月8日 (二) 09:25 Allen (讨论 | 贡献)上传“文件:HOL4-Emacs.png” (https://hol-theorem-prover.org/HOL-interaction.pdf category:proof assistant category:emacs)
- 2022年2月8日 (二) 08:01 Allen (讨论 | 贡献)上传“文件:Syntax-of-propositional-logic.png” (《Handbook of Practical and Automated Reasoning》p27 category:coq category:proof Assistant category:mathematical logic)
- 2022年2月7日 (一) 15:30 Allen (讨论 | 贡献)上传“文件:Well-Typed.png” (https://well-typed.com category:haskell)
- 2022年2月7日 (一) 11:29 Allen (讨论 | 贡献)上传“文件:Calculus.png” (https://en.wikipedia.org/wiki/Calculus category:calculus category:mathematics)
- 2022年2月7日 (一) 09:47 Allen (讨论 | 贡献)上传“文件:Truth-table.png” (https://zh.wikipedia.org/wiki/%E7%9C%9F%E5%80%BC%E8%A1%A8 category:mathematical logic category:proof assistant)
- 2022年2月7日 (一) 02:35 Allen (讨论 | 贡献)上传“文件:GNAT-Studio.png” (https://github.com/AdaCore/gnatstudio category:IDE category:ada category:programming language)
- 2022年2月6日 (日) 16:06 Allen (讨论 | 贡献)上传“文件:FStar-Architecture.png” (https://fstar-lang.org/gs2021/gs2021.html#/sec-the-f--landscape category:proof assistant )
- 2022年2月6日 (日) 13:44 Allen (讨论 | 贡献)上传“文件:Fstar-lang-logo.png” (category:programming language category:proof assistant)
- 2022年2月5日 (六) 11:17 Allen (讨论 | 贡献)上传“文件:Coq-36-38.png” (category:coq category:proof assistant)
- 2022年2月5日 (六) 07:33 Allen (讨论 | 贡献)上传“文件:Isabelle-LLVM.png” (https://github.com/lammich/isabelle_llvm category:proof assistant category:LLVM)
- 2022年2月5日 (六) 06:33 Allen (讨论 | 贡献)上传“文件:Coq-logo.png” (category:coq category:proof assistant)
- 2022年2月5日 (六) 05:35 Allen (讨论 | 贡献)上传“文件:Nuprl5-FDL-diagram.png” (http://www.nuprl.org/html/NuprlSystem.html category:proof assistant)
- 2022年2月5日 (六) 02:43 Allen (讨论 | 贡献)上传“文件:Isabelle-afp.png” (https://www.isa-afp.org/ category:proof assistant )
- 2022年2月5日 (六) 02:37 Allen (讨论 | 贡献)上传“文件:Isabelle-logo.gif” (category:proof assistant)
- 2022年2月3日 (四) 13:55 Allen (讨论 | 贡献)上传“文件:Acl2-logo.png” (http://www.cs.utexas.edu/users/moore/acl2/ category:proof assistant category:lisp)
- 2022年1月26日 (三) 08:23 Allen (讨论 | 贡献)上传“文件:Replicant-logo.png” (category:android)
- 2022年1月26日 (三) 03:22 Allen (讨论 | 贡献)上传“文件:Aeternity-logo.png” (category:blockchain category:erlang )
- 2022年1月24日 (一) 09:46 Allen (讨论 | 贡献)上传“文件:McCLIM-Demos.png” (https://github.com/McCLIM/McCLIM category:IDE category:lisp)
- 2022年1月23日 (日) 12:46 Allen (讨论 | 贡献)上传“文件:Opencog-logo.png” (https://wiki.opencog.org category:artificial intelligence category:scheme )
- 2022年1月23日 (日) 11:31 Allen (讨论 | 贡献)上传“文件:Lisp-clos-mop-class-graph.png” (https://clos-mop.hexstreamsoft.com/classes/ category:lisp)
- 2022年1月23日 (日) 10:00 Allen (讨论 | 贡献)上传“文件:Gerbil-Scheme.png” (https://cons.io/ category:scheme category:programming language)
- 2022年1月23日 (日) 09:37 Allen (讨论 | 贡献)上传“文件:Lisp-badge-hand.jpg” (http://www.ulisp.com/show?2L0C category:lisp category:microcontroller category:embedded system)
- 2022年1月23日 (日) 09:37 Allen (讨论 | 贡献)上传“文件:Ulisp-logo.gif” (http://www.ulisp.com category:lisp category:microcontroller)
- 2022年1月23日 (日) 09:10 Allen (讨论 | 贡献)上传“文件:Kawa-logo.png” (https://www.gnu.org/software/kawa/ category:scheme category:JVM category:programming language)
- 2022年1月22日 (六) 16:34 Allen (讨论 | 贡献)上传“文件:Nyxt-128x128.png” (https://nyxt.atlas.engineer/ category:browser category:lisp)
- 2022年1月22日 (六) 12:52 Allen (讨论 | 贡献)上传“文件:C-logo.png”的新版本
- 2022年1月22日 (六) 12:43 Allen (讨论 | 贡献)上传“文件:C-logo.png”的新版本
- 2022年1月22日 (六) 12:42 Allen (讨论 | 贡献)上传“文件:Cpp-logo.png” (category:c++)
- 2022年1月22日 (六) 12:42 Allen (讨论 | 贡献)上传“文件:C-logo.png” (category:c programming language)
- 2022年1月22日 (六) 12:38 Allen (讨论 | 贡献)上传“文件:Emacs-lisp.png” (category:emacs category:lisp)
- 2022年1月21日 (五) 03:37 Allen (讨论 | 贡献)上传“文件:Lisp-Machine-and-Lisp-OS.png” (https://github.com/ghosthamlet/awesome-lisp-machine category:lisp category:operating system)
分享您的观点