Cairo

Turing-complete language for creating provable programs for general computation

プロジェクトサイト

インストール方法

GUIアプリケーションで開きますか？ 開発中

チャンネル:

unstable

バージョン:

2.11.2

対応:

はい

失効:

いいえ

ライセンス:

自由ソフト

プラットフォーム:

38