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

文件:Mixcore-portal.png

来自开放百科 - 灰狐
跳转到: 导航, 搜索
完全分辨率(3,817×1,924像素,文件大小:329 KB,MIME类型:image/png)

文件历史

查看某一时刻的文件,请单击相应的日期/时间。

日期/时间缩略图大小用户评论
当前2025年1月31日 (五) 04:472025年1月31日 (五) 04:47的版本的缩略图3,817 × 1,924 (329 KB)Allen (讨论 | 贡献)category:CMS category:.NET

没有页面链接到本文件。

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱