專案描述

パズルフレームワークの作成
カリー・ハワードの定理や公理的集合論の
基本定理を組み合わせて動作する。
フレームワークを作成します。

您的評分
撰寫專案評

使用統計

最近的活動

2012-11-29
00:15
meidaicreator
[CVS] New commit
00:08
meidaicreator
[Git] The configurations for repository 'meidaicreator' have been updated
00:08
meidaicreator
[Git] New repository 'meidaicreator' has been created
Show history