dafny-lang/dafny

Dafny は、検証機能を備えたプログラミング言語です

↗ GitHub で開く

スター

3,520

フォーク

326

言語

C#

ライセンス

NOASSERTION

最終プッシュ

1 週間前

C#verification programming-language

関連 Intel はまだありません

このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。