Agda の代替手段
3Agda の代わりとなる 3 個の無料および有料のリストをまとめました。 主な競合相手はIsabelle、 Coqです。 これらに加えて、ユーザーは Agda と F* の間の比較も行います。 また、他の同様のオプションもここで確認できます: 開発ソフトウェア、 プログラミング言語。
Agda の代わりとなる 3 個の無料および有料のリストをまとめました。 主な競合相手はIsabelle、 Coqです。 これらに加えて、ユーザーは Agda と F* の間の比較も行います。 また、他の同様のオプションもここで確認できます: 開発ソフトウェア、 プログラミング言語。
Agdaは依存型付きの関数型プログラミング言語です。 それは帰納的な家族を持っています、すなわち
Agdaは依存型付きの関数型プログラミング言語です。 それは帰納的な家族を持っています、すなわち
Agdaは依存型付きの関数型プログラミング言語です。 帰納的ファミリ、つまり、特定の長さのベクトルのタイプなど、値に依存するデータタイプがあります。 また、パラメーター化されたモジュール、mixfix演算子、Unicode文字、およびプログラマーがプログラムを作成するのを支援できるインタラクティブなEmacsインターフェイスも備えています。
Agdaは証明アシスタントです。 これは、プルーフを作成およびチェックするためのインタラクティブなシステムです。 Agdaは、スウェーデンの論理学者PerMartin-Löfによって開発された建設的な数学の基礎システムである直観主義型理論に基づいています。 Coq、Epigram、Matita、NuPRLなどの依存型に基づく他の証明アシスタントと多くの類似点があります。
ソフトウェアについての意見を共有し、レビューを残してさらに向上させるのに役立てましょう!
変更の提案
あなたのフィードバック
Your vote has been counted.
Do you have experience using this software?