主要指標

概覽

名稱與所有者	microsoft/Ironclad
主編程語言	Dafny
編程語言	C# (語言數: 14)
平台
許可證	Other

所有者活动

創建於	2015-09-23 20:44:40
推送於	2023-06-03 02:12:27
最后一次提交
發布數	3
最新版本名稱	v0.3 (發布於 )
第一版名稱	v0.1 (發布於 )

用户参与

星數	249
關注者數	55
派生數	57
提交數	175
已啟用問題?
問題數	8
打開的問題數	1
拉請求數	15
打開的拉請求數	0
關閉的拉請求數	3

项目设置

已啟用Wiki?
已存檔?
是復刻?
已鎖定?
是鏡像?
是私有?