Agdaは、徐々に証明やプログラムを開発するためのシステムです。これは、PREVIOUS Agda (Agda 1) のソースフォージ プロジェクトです。ベータテストのAgda (Agda 2)の新しいバージョンは、次のhttp://wiki.portal.chalmers.se/agda/から入手できます。
バージョン履歴
- バージョン 1.0.2 に転記 2008-04-23
いくつかの修正と更新 - バージョン 1.0.2 に転記 2008-04-23
プログラムの詳細
- カテゴリ: 教育 > 他
- パブリッシャー: unit.aist.go.jp/cvs/Agda/
- ライセンス: 無料
- 価格: N/A
- バージョン: 1.0.2
- プラットフォーム: windows