AlexanderKnueppel / AlexanderKnueppel/Skeditor
Formalization of the underlying Theory in Coq
Đang mở
- Ngôn ngữ chính
- Java
- Star
- 1
- Fork
- 5
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
Coq is a theorem prover build on top of a constructive logical foundation. In particular for the composition and connection to hybrid programs, a formalization of the underlying theory resembling skill graphs would increase our trust in it.
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Đánh giá
Issue này chưa được đánh giá.