Agda 1 1.0.2
ライセンス: 無料 ファイルサイズ: N/A
ユーザー評価: 5.0/5 - 1 投票
お待ちください。。。ダウンロードリンクが悪意のあるコンテンツの確認中です。
5秒でダウンロードできます。
5秒でダウンロードできます。
に関しては Agda 1
Agdaは、徐々に証明やプログラムを開発するためのシステムです。これは、PREVIOUS Agda (Agda 1) のソースフォージ プロジェクトです。ベータテストのAgda (Agda 2)の新しいバージョンは、次のhttp://wiki.portal.chalmers.se/agda/から入手できます。