文件列表

跳转到： 导航, 搜索

本特殊页面显示所有上传的文件。当按用户过滤时，只显示输入的用户最后上传的文件版本。

文件列表
每页项目数：
按媒体名称搜索：
用户名：

降日期 名称 缩略图 大小 用户 说明 版本
2022年10月15日 (六) 11:58Cakeml-verified-x86-64-machine-code.png (文件)184 KBAllen (https://cakeml.org/ category:formal category:proof assistant category:ML)1
2022年10月15日 (六) 08:17Verified-vs-Verifying-Program.png (文件)79 KBAllen (图片取自：https://www.kth.se/social/files/596318bc56be5bfdc343d436/itp-course.pdf category:formal category:mathematics category:reasoning category:ML)1
2022年10月15日 (六) 05:08ITP-Common-Terms-and-Types.png (文件)80 KBAllen (图片取自：https://www.kth.se/social/files/596318bc56be5bfdc343d436/itp-course.pdf category:formal category:proof assistant category:reasoning category:ML)1
2022年10月15日 (六) 01:00Mathematical-vs-Formal-Proof.png (文件)76 KBAllen (图片取自：https://www.kth.se/social/files/596318bc56be5bfdc343d436/itp-course.pdf category:mathematics category:formal category:proof assistant category:ML)1
2022年10月14日 (五) 13:42FStar-for-Billions-User.png (文件)738 KBAllen (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)1
2022年10月14日 (五) 09:31FStarLang-logo.png (文件)8 KBAllen (https://github.com/FStarLang category:programming language category:OCaml category:formal category:proof assistant)1
2022年10月10日 (一) 08:47Erlang-Henk-Pure-Type-System.png (文件)141 KBAllen (category:formal category:mathematics category:erlang)1
2022年10月9日 (日) 14:58Simply-Logical.gif (文件)124 KBAllen (https://book.simply-logical.space/ category:reasoning category:artificial intelligence category:mathematical logic category:prolog)1
2022年10月9日 (日) 07:49Pleroma-logo.png (文件)4 KBAllen (https://github.com/minibikini/pleroma category:social network category:elixir category:erlang)1
2022年10月8日 (六) 03:41Quickdocs-logo.png (文件)9 KBAllen (https://github.com/quickdocs category:lisp)1
2022年10月7日 (五) 09:37Isabelle-on-windows.png (文件)232 KBAllen (category:formal category:proof assistant category:ML)1
2022年10月7日 (五) 03:03DrRacket-R6RS.png (文件)40 KBAllen (category:lisp category:racket category:scheme)1
2022年10月4日 (二) 00:00Limit.png (文件)15 KBAllen (《数学指南：实用数学手册》 category:mathematics)1
2022年10月2日 (日) 10:05Quil-language-logo.png (文件)3 KBAllen (https://github.com/quil-lang category:programming language category:量子计算 category:computer science category:mathematics category:physics category:science category:lisp)1
2022年9月28日 (三) 11:17SMT-Z3.png (文件)174 KBAllen (https://nikolajbjorner.github.io/slides/Z3_System.pdf category:formal category:proof assistant)1
2022年9月28日 (三) 06:50Haskell-cabal-logo.png (文件)7 KBAllen (https://github.com/haskell/cabal category:package category:haskell)1
2022年9月27日 (二) 12:58Basic-symbols-used-in-logic.png (文件)29 KBAllen (https://ncatlab.org/nlab/show/equivalence category:mathematical logic category:mathematics category:formal)1
2022年9月26日 (一) 11:08Ocaml-owl-library.png (文件)45 KBAllen (《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 )1
2022年9月25日 (日) 09:57ProofGeneral-logo.png (文件)14 KBAllen (https://github.com/ProofGeneral category:formal category:proof assistant category:reasoning category:mathematics)1
2022年9月25日 (日) 09:10Cowboy-home.png (文件)174 KBAllen (https://ninenines.eu/ category:web server category:erlang category:REST)1
2022年9月24日 (六) 06:48Customize-Emacs-Languages.png (文件)127 KBAllen (category:IDE category:editor category:emacs)1
2022年9月24日 (六) 06:47Customize-Emacs.png (文件)135 KBAllen (category:IDE category:editor category:emacs)1
2022年9月24日 (六) 00:39KDE-Marble.png (文件)654 KBAllen 2
2022年9月23日 (五) 04:11KDE-KBibTeX.png (文件)154 KBAllen (https://apps.kde.org/zh-cn/kbibtex/ category:TeX category:KDE category:qt category:science)1
2022年9月22日 (四) 23:47Falkon-browser.png (文件)107 KBAllen (https://www.falkon.org/ category:browser category:qt category:c++ category:KDE)1
2022年9月22日 (四) 14:51KDevelop-IDE.png (文件)125 KBAllen (category:IDE category:KDE category:Qt)1
2022年9月22日 (四) 14:50KDevelop-Addons.png (文件)65 KBAllen (category:IDE category:KDE category:Qt)1
2022年9月22日 (四) 14:02Mascot-konqi-dev-kde.png (文件)20 KBAllen (https://community.kde.org/Konqi category:desktop environment category:mobile category:KDE category:qt)1
2022年9月22日 (四) 13:11Plasma-Mobile-Telephony-Stack.png (文件)
生成缩略图错误：不正确的缩略图参数
427 KBAllen (https://develop.kde.org/docs/build/plasma-mobile/telephony/ category:mobile category:KDE category:qt)1
2022年9月21日 (三) 13:08Drum-vibration-mode.gif (文件)138 KBAllen (https://zh.wikipedia.org/wiki/%E6%B3%9B%E5%87%BD%E5%88%86%E6%9E%90 category:mathematics)1
2022年9月20日 (二) 14:37KDE-RKWard-R-Packages.png (文件)135 KBAllen (category:R category:data science category:data visualization category:KDE category:qt)1
2022年9月20日 (二) 12:50KDE-RKWard.png (文件)102 KBAllen (https://rkward.kde.org/ category:R category:data science category:data visualization category:KDE category:qt)1
2022年9月20日 (二) 11:18R-hub-logo.png (文件)8 KBAllen (https://github.com/r-hub category:R category:data science)1
2022年9月20日 (二) 04:48Kdenlive-logo.png (文件)3 KBAllen (https://kdenlive.org/ category:KDE category:qt category:video)1
2022年9月19日 (一) 08:04KDE-LabPlot-CAS.png (文件)145 KBAllen (https://labplot.kde.org/ category:data visualization category:visualization category:scilab category:maxima category:octave category:KDE)1
2022年9月19日 (一) 06:50KDE-LabPlot.png (文件)176 KBAllen (https://labplot.kde.org/ category:KDE category:visualization )1
2022年9月19日 (一) 04:47GNU-DrGeo.png (文件)202 KBAllen (https://www.gnu.org/software/dr-geo/ category:pharo category:smalltalk category:mathematics category:GNU)1
2022年9月18日 (日) 13:21Branch-of-mathematics.jpg (文件)217 KBAllen (图片取自《普林斯顿数学指南》（第二卷） category:mathematics)1
2022年9月18日 (日) 12:02Ecto-logo.png (文件)6 KBAllen (https://github.com/elixir-ecto/ecto category:elixir category:database)1
2022年9月18日 (日) 11:10Phoenix-LiveDashboard.png (文件)496 KBAllen (https://github.com/phoenixframework/phoenix_live_dashboard category:elixir category:erlang category:framework)1
2022年9月18日 (日) 02:20TeXstudio.png (文件)275 KBAllen (category:TeX category:c++ category:qt category:mathematics category:physics category:science)1
2022年9月16日 (五) 11:01Mathematicians.png (文件)339 KBAllen (https://mathshistory.st-andrews.ac.uk/ category:mathematics)1
2022年9月9日 (五) 12:22Quantum-computing-2001-2020.jpg (文件)528 KBAllen (https://cn.nikkei.com/industry/scienceatechnology/43725-2021-02-18-05-00-00.html category:量子计算)1
2022年9月7日 (三) 08:38HPC-AI.jpg (文件)384 KBAllen (https://cn.nikkei.com/industry/scienceatechnology/49060-2022-07-13-05-00-47.html category:artificial intelligence category:HPC)1
2022年9月7日 (三) 05:04Quantum-computing-type.jpg (文件)97 KBAllen (https://cn.nikkei.com/industry/scienceatechnology/49608-2022-08-29-08-26-17.html category:量子计算 category:computer science)1
2022年9月6日 (二) 05:55SPIE-logo.png (文件)5 KBAllen (https://spie.org/ category:science)1
2022年9月6日 (二) 04:56Product-lifecycle-management.png (文件)79 KBAllen (https://en.wikipedia.org/wiki/Computer-aided_technologies category:PLM category:CAD)1
2022年9月6日 (二) 01:02ＭinGW-w64-long.png (文件)11 KBAllen (https://www.mingw-w64.org/ category:GCC category:LLVM category:windows category:compiler)1
2022年9月5日 (一) 08:52BRL-CAD-Industry-Diagram.png (文件)308 KBAllen (https://brlcad.org/gallery/picture.php?/3/category/1 category:CAD category:EDA)1
2022年9月3日 (六) 12:06Musical-composition-system.png (文件)66 KBAllen (http://www.zogotounga.net/comp/devover.html category:music category:squeak category:lisp )1

首页
首页		 末页
末页
来自“http://wiki.huihoo.com/wiki/%E7%89%B9%E6%AE%8A:%E6%96%87%E4%BB%B6%E5%88%97%E8%A1%A8”
分享您的观点
个人工具
名字空间

变换
查看
操作
导航
工具箱