dafny-mcp
Dafnyは、プログラムの正しさを証明するためのプログラミング言語です。このツールは、形式的な検証を行うことで、ソフトウェアの信頼性を向上させることを目的としています。Pythonで実装されており、使いやすさと強力な機能を兼ね備えています。
GitHubスター
2
ユーザー評価
未評価
お気に入り
0
閲覧数
95
フォーク
2
イシュー
0
レビュー & 評価
まだレビューがありません
Dafnyは、プログラムの正しさを証明するためのプログラミング言語です。このツールは、形式的な検証を行うことで、ソフトウェアの信頼性を向上させることを目的としています。Pythonで実装されており、使いやすさと強力な機能を兼ね備えています。
GitHubスター
2
ユーザー評価
未評価
お気に入り
0
閲覧数
95
フォーク
2
イシュー
0
まだレビューがありません