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

所有开放百科 - 灰狐公开日志的联合展示。你可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2024年12月19日 (四) 08:52 Allen (讨论 | 贡献)上传“文件:The-Tale-of-Genji.png”
• 2024年12月19日 (四) 08:40 Allen (讨论 | 贡献)上传“文件:Dear-Radiance-02.jpg”
• 2024年12月19日 (四) 08:40 Allen (讨论 | 贡献)上传“文件:Dear-Radiance-01.jpg”
• 2024年12月18日 (三) 12:12 Allen (讨论 | 贡献)标记页面Cardano的版本167208为已巡查
• 2024年12月18日 (三) 03:28 Allen (讨论 | 贡献)标记页面灰狐安全的版本167207为已巡查
• 2024年12月18日 (三) 03:26 Allen (讨论 | 贡献)标记页面灰狐安全的版本167206为已巡查
• 2024年12月18日 (三) 03:25 Allen (讨论 | 贡献)标记页面灰狐安全的版本167205为已巡查
• 2024年12月18日 (三) 03:02 Allen (讨论 | 贡献)标记页面Agda的版本167204为已巡查
• 2024年12月18日 (三) 02:45 Allen (讨论 | 贡献)标记页面灰狐会员的版本167203为已巡查
• 2024年12月18日 (三) 02:44 Allen (讨论 | 贡献)标记页面灰狐会员的版本167202为已巡查
• 2024年12月17日 (二) 01:50 Allen (讨论 | 贡献)上传“文件:Galois-unmanned-aerial-vehicles-UAV.jpg” (https://smaccmpilot.org/hardware/index.html category:DRE category:haskell)
• 2024年12月14日 (六) 10:05 Allen (讨论 | 贡献)标记页面文件:Ai-music.jpg的版本167200为已巡查
• 2024年12月14日 (六) 03:46 Allen (讨论 | 贡献)上传“文件:Ai-music.jpg”
• 2024年12月12日 (四) 08:39 Allen (讨论 | 贡献)标记页面Lisp Science Foundation的版本167198为已巡查
• 2024年12月9日 (一) 00:10 Allen (讨论 | 贡献)上传“文件:CAGED-chords-on-GUITAR.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music)
• 2024年12月8日 (日) 00:25 Allen (讨论 | 贡献)上传“文件:Songwriting-with-Chord-Substitutions.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music )
• 2024年12月7日 (六) 23:16 Allen (讨论 | 贡献)上传“文件:Scales-01.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music)
• 2024年12月7日 (六) 12:44 Allen (讨论 | 贡献)上传“文件:Scales.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music)
• 2024年12月7日 (六) 12:23 Allen (讨论 | 贡献)上传“文件:Parallel-Modes-Work-in-Music.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music)
• 2024年12月7日 (六) 12:00 Allen (讨论 | 贡献)上传“文件:Music-modes.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music)
• 2024年12月7日 (六) 11:54 Allen (讨论 | 贡献)上传“文件:Major-minor-dim-chords.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music)
• 2024年12月7日 (六) 10:47 Allen (讨论 | 贡献)上传“文件:84-chords.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music)
• 2024年12月7日 (六) 10:43 Allen (讨论 | 贡献)上传“文件:6-Chord-Progressions-in-the-DORIAN-Mode.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music)
• 2024年12月4日 (三) 03:53 Allen (讨论 | 贡献)标记页面ACL2的版本167188为已巡查
• 2024年12月3日 (二) 14:09 Allen (讨论 | 贡献)标记页面灰狐会员的版本167187为已巡查
• 2024年12月3日 (二) 14:09 Allen (讨论 | 贡献)标记页面灰狐会员的版本167186为已巡查
• 2024年12月1日 (日) 03:31 Allen (讨论 | 贡献)上传“文件:Xone-DJ-mixers.png” (https://www.allen-heath.com/ category:DJ category:music)
• 2024年11月30日 (六) 02:15 Allen (讨论 | 贡献)标记页面分类:Vlang的版本167184为已巡查
• 2024年11月30日 (六) 02:14 Allen (讨论 | 贡献)上传“文件:Vlang-ui.png” (category:vlang)
• 2024年11月30日 (六) 02:13 Allen (讨论 | 贡献)上传“文件:Vlang-editor.png” (category:vlang)
• 2024年11月30日 (六) 02:13 Allen (讨论 | 贡献)上传“文件:Vlang-logo.png” (category:vlang)
• 2024年11月30日 (六) 02:11 Allen (讨论 | 贡献)上传“文件:Vlang-module.png” (category:vlang)
• 2024年11月30日 (六) 02:11 Allen (讨论 | 贡献)上传“文件:Vlang-repl.png” (category:vlang)
• 2024年11月30日 (六) 02:11 Allen (讨论 | 贡献)上传“文件:Vlang-vs-otherlanguages.png” (https://vlang.io/ category:vlang)
• 2024年11月20日 (三) 02:35 Allen (讨论 | 贡献)标记页面Spree commerce的版本167177为已巡查
• 2024年11月20日 (三) 02:33 Allen (讨论 | 贡献)标记页面Spree commerce的版本167176为已巡查
• 2024年11月18日 (一) 05:42 Allen (讨论 | 贡献)标记页面OpenBook的版本167175为已巡查
• 2024年11月15日 (五) 00:47 Allen (讨论 | 贡献)标记页面TeXworks的版本167174为已巡查
• 2024年11月14日 (四) 02:45 Allen (讨论 | 贡献)标记页面灰狐大脑的版本167173为已巡查
• 2024年11月13日 (三) 04:05 Allen (讨论 | 贡献)标记页面用户:Allen的版本167172为已巡查
• 2024年11月13日 (三) 03:44 Allen (讨论 | 贡献)标记页面灰狐大脑的版本167171为已巡查
• 2024年11月13日 (三) 02:08 Allen (讨论 | 贡献)标记页面灰狐安全的版本167170为已巡查
• 2024年11月13日 (三) 02:05 Allen (讨论 | 贡献)标记页面灰狐安全的版本167169为已巡查
• 2024年11月13日 (三) 01:07 Allen (讨论 | 贡献)标记页面OpenBook的版本167168为已巡查
• 2024年11月12日 (二) 08:46 Allen (讨论 | 贡献)标记页面数学哲学的版本167167为已巡查
• 2024年11月12日 (二) 08:13 Allen (讨论 | 贡献)标记页面开放大学的版本167166为已巡查
• 2024年11月12日 (二) 03:22 Allen (讨论 | 贡献)标记页面灰狐安全的版本167165为已巡查
• 2024年11月11日 (一) 13:56 Allen (讨论 | 贡献)标记页面Formal mathematics的版本167164为已巡查
• 2024年11月10日 (日) 13:54 Allen (讨论 | 贡献)标记页面OpenProject的版本167163为已巡查
• 2024年11月10日 (日) 08:11 Allen (讨论 | 贡献)标记页面赞助灰狐的版本167162为已巡查