欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp

下面是最近的文件上传的列表。图像概览请见新文件库。

• 2022年12月4日 (日) 10:33 Allen (讨论 | 贡献)上传“文件:Droidian-logo.png” (https://droidian.org/ category:debian category:andorid category:mobile)
• 2022年12月2日 (五) 09:55 Allen (讨论 | 贡献)上传“文件:Mathematics-genealogy-skeleton.png” (https://www.mathgenealogy.org/ category:mathematics)
• 2022年12月1日 (四) 08:58 Allen (讨论 | 贡献)上传“文件:Carp-lang-logo.png” (https://github.com/carp-lang category:progamming language category:haskell category:lisp)
• 2022年11月29日 (二) 09:30 Allen (讨论 | 贡献)上传“文件:Modelica-Association-Projects.png” (https://github.com/modelica/MA-Logos category:simulation category:model)
• 2022年11月29日 (二) 09:29 Allen (讨论 | 贡献)上传“文件:Modelica-Association-logo.png” (https://modelica.org/ category:simulation category:model)
• 2022年11月27日 (日) 02:43 Allen (讨论 | 贡献)上传“文件:GAP.png” (https://www.gap-system.org/ category:mathematics)
• 2022年11月23日 (三) 14:44 Allen (讨论 | 贡献)上传“文件:Galois-logo.jpg” (https://ivorylang.org/about.html category:cryptography category:security category:haskell)
• 2022年11月15日 (二) 05:44 Allen (讨论 | 贡献)上传“文件:Project-gutenberg-logo.png” (https://www.gutenberg.org/ category:book)
• 2022年10月31日 (一) 08:29 Allen (讨论 | 贡献)上传“文件:D-Wave-Quantum-Computer.jpg” (category:量子计算 category:computer science category:physics category:science)
• 2022年10月31日 (一) 07:21 Allen (讨论 | 贡献)上传“文件:D-Wave-2000Q.png” (category:量子计算 category:computer science category:physics category:science )
• 2022年10月31日 (一) 03:37 Allen (讨论 | 贡献)上传“文件:Theory-of-everything.png” (来源：https://zh.wikipedia.org/wiki/%E4%B8%87%E6%9C%89%E7%90%86%E8%AE%BA category:physics category:science category:mathematics)
• 2022年10月30日 (日) 09:25 Allen (讨论 | 贡献)上传“文件:Quantum-materials-simulation.png” (https://dwavefederal.com/applications/ category:量子计算 category:computer science category:physics category:science)
• 2022年10月30日 (日) 06:52 Allen (讨论 | 贡献)上传“文件:D-wave.jpeg” (https://www.nasa.gov/ames/quantum-computing/ category:量子计算 category:computer science category:physics category:science)
• 2022年10月30日 (日) 00:50 Allen (讨论 | 贡献)上传“文件:Quantum-simulation.png” (图片取自 https://www.cs.tulane.edu/quantum/slides/PR18/simcount.pdf category:量子计算 category:computer science category:mathematics category:physics category:science)
• 2022年10月29日 (六) 08:44 Allen (讨论 | 贡献)上传“文件:Whatsapp-Viber-Wechat-Technical-Architecture.jpg” (https://medium.com/@johnvincentt27/how-to-build-a-secure-chat-app-like-whatsapp-wechat-viber-1245fa29ab3 category:IM category:XMPP category:erlang category:elixir)
• 2022年10月28日 (五) 04:04 Allen (讨论 | 贡献)上传“文件:Elixir-in-the-Type-System-Quadrant.png” (https://thinkingelixir.com/elixir-in-the-type-system-quadrant/ category:erlang category:elixir category:programming language category:functional programming )
• 2022年10月23日 (日) 04:43 Allen (讨论 | 贡献)上传“文件:Mathematical-Thought-from-Ancient-to-Modern-Times.jpg” (category:mathematics category:book)
• 2022年10月21日 (五) 23:51 Allen (讨论 | 贡献)上传“文件:Mathematics-symbol-history.jpg” (图片取自《数学之英文写作》Mathematical Writing in English p.93 category:mathematics)
• 2022年10月20日 (四) 12:39 Allen (讨论 | 贡献)上传“文件:Greek-letters.png” (https://en.wikipedia.org/wiki/Greek_letters_used_in_mathematics,_science,_and_engineering category:mathematics category:formal category:TeX)
• 2022年10月19日 (三) 07:52 Allen (讨论 | 贡献)上传“文件:Music-circle-of-fifths.png” (https://en.wikipedia.org/wiki/Tonic_(music) category:music)
• 2022年10月19日 (三) 05:01 Allen (讨论 | 贡献)上传“文件:Types-logic-sets-homotopy.png” (https://github.com/HoTT/book p.15 category:formal category:mathematics category:mathematical logic category:reasoning)
• 2022年10月19日 (三) 03:36 Allen (讨论 | 贡献)上传“文件:HoTT-univalence-axiom.png” (https://homotopytypetheory.org/ category:formal category:mathematics category:mathematical logic category:reasoning)
• 2022年10月18日 (二) 15:00 Allen (讨论 | 贡献)上传“文件:Homotopy-Type-Theory.png” (https://en.wikipedia.org/wiki/Homotopy_type_theory category:mathematical logic category:mathematics category:formal category:reasoning)
• 2022年10月17日 (一) 15:36 Allen (讨论 | 贡献)上传“文件:Univalent-Foundations-Vladimir-Voevodsky.png” (category:formal category:mathematics category:coq)
• 2022年10月16日 (日) 11:21 Allen (讨论 | 贡献)上传“文件:PolyML-SML-Basis-Library.png” (category:ML)
• 2022年10月16日 (日) 07:05 Allen (讨论 | 贡献)上传“文件:Closure-properties-of-language-families.png” (https://en.wikipedia.org/wiki/Formal_language category:formal category:programming language category:mathematics)
• 2022年10月15日 (六) 14:07 Allen (讨论 | 贡献)上传“文件:Standard-ML-97-seven-sections.png” (https://smlfamily.github.io/sml97-defn.pdf category:programming language category:formal category:proof assistant category:reasoning category:ML)
• 2022年10月15日 (六) 11:58 Allen (讨论 | 贡献)上传“文件:Cakeml-verified-x86-64-machine-code.png” (https://cakeml.org/ category:formal category:proof assistant category:ML)
• 2022年10月15日 (六) 08:17 Allen (讨论 | 贡献)上传“文件:Verified-vs-Verifying-Program.png” (图片取自：https://www.kth.se/social/files/596318bc56be5bfdc343d436/itp-course.pdf category:formal category:mathematics category:reasoning category:ML)
• 2022年10月15日 (六) 05:08 Allen (讨论 | 贡献)上传“文件:ITP-Common-Terms-and-Types.png” (图片取自：https://www.kth.se/social/files/596318bc56be5bfdc343d436/itp-course.pdf category:formal category:proof assistant category:reasoning category:ML)
• 2022年10月15日 (六) 01:00 Allen (讨论 | 贡献)上传“文件:Mathematical-vs-Formal-Proof.png” (图片取自：https://www.kth.se/social/files/596318bc56be5bfdc343d436/itp-course.pdf category:mathematics category:formal category:proof assistant category:ML)
• 2022年10月14日 (五) 13:42 Allen (讨论 | 贡献)上传“文件:FStar-for-Billions-User.png” (https://www.fstar-lang.org/gs2021/gs2021.html#/sec-program-proofs-in-f--for-billions-of-unsuspecting-users category:proof assistant category:formal category:ML category:OCaml)
• 2022年10月14日 (五) 09:31 Allen (讨论 | 贡献)上传“文件:FStarLang-logo.png” (https://github.com/FStarLang category:programming language category:OCaml category:formal category:proof assistant)
• 2022年10月10日 (一) 08:47 Allen (讨论 | 贡献)上传“文件:Erlang-Henk-Pure-Type-System.png” (category:formal category:mathematics category:erlang)
• 2022年10月9日 (日) 14:58 Allen (讨论 | 贡献)上传“文件:Simply-Logical.gif” (https://book.simply-logical.space/ category:reasoning category:artificial intelligence category:mathematical logic category:prolog)
• 2022年10月9日 (日) 07:49 Allen (讨论 | 贡献)上传“文件:Pleroma-logo.png” (https://github.com/minibikini/pleroma category:social network category:elixir category:erlang)
• 2022年10月8日 (六) 03:41 Allen (讨论 | 贡献)上传“文件:Quickdocs-logo.png” (https://github.com/quickdocs category:lisp)
• 2022年10月7日 (五) 09:37 Allen (讨论 | 贡献)上传“文件:Isabelle-on-windows.png” (category:formal category:proof assistant category:ML)
• 2022年10月7日 (五) 03:03 Allen (讨论 | 贡献)上传“文件:DrRacket-R6RS.png” (category:lisp category:racket category:scheme)
• 2022年10月4日 (二) 00:00 Allen (讨论 | 贡献)上传“文件:Limit.png” (《数学指南：实用数学手册》 category:mathematics)
• 2022年10月2日 (日) 10:05 Allen (讨论 | 贡献)上传“文件:Quil-language-logo.png” (https://github.com/quil-lang category:programming language category:量子计算 category:computer science category:mathematics category:physics category:science category:lisp)
• 2022年9月28日 (三) 11:17 Allen (讨论 | 贡献)上传“文件:SMT-Z3.png” (https://nikolajbjorner.github.io/slides/Z3_System.pdf category:formal category:proof assistant)
• 2022年9月28日 (三) 06:50 Allen (讨论 | 贡献)上传“文件:Haskell-cabal-logo.png” (https://github.com/haskell/cabal category:package category:haskell)
• 2022年9月27日 (二) 12:58 Allen (讨论 | 贡献)上传“文件:Basic-symbols-used-in-logic.png” (https://ncatlab.org/nlab/show/equivalence category:mathematical logic category:mathematics category:formal)
• 2022年9月26日 (一) 11:08 Allen (讨论 | 贡献)上传“文件:Ocaml-owl-library.png” (《OCaml Scientific Computing: Functional Programming in Data Science and Artificial Intelligence》 https://ocaml.org/p/owl/ category:OCaml category:science category:data science category:aritifical intelligence )
• 2022年9月25日 (日) 09:57 Allen (讨论 | 贡献)上传“文件:ProofGeneral-logo.png” (https://github.com/ProofGeneral category:formal category:proof assistant category:reasoning category:mathematics)
• 2022年9月25日 (日) 09:10 Allen (讨论 | 贡献)上传“文件:Cowboy-home.png” (https://ninenines.eu/ category:web server category:erlang category:REST)
• 2022年9月24日 (六) 06:48 Allen (讨论 | 贡献)上传“文件:Customize-Emacs-Languages.png” (category:IDE category:editor category:emacs)
• 2022年9月24日 (六) 06:47 Allen (讨论 | 贡献)上传“文件:Customize-Emacs.png” (category:IDE category:editor category:emacs)
• 2022年9月24日 (六) 00:39 Allen (讨论 | 贡献)上传“文件:KDE-Marble.png”的新版本