主要指标

概览

名称与所有者	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?
已存档?
是复刻?
已锁定?
是镜像?
是私有?