open-ontologies
+663Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
isabelle-language
Chủ đề #isabelle-language trên GitHub — repository trong kho Beeknoee có gắn topic này.
- Repository
- 1
- Tổng sao
- 2.1k
- 24 giờ
- +11.9%
- 7 ngày
- +72.6%
- 30 ngày
- –
Repository trong #isabelle-language
Chủ đề khác
Các chủ đề phổ biến khác trong kho Beeknoee
