Coqtail

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 4.0/5 - ‎2 ‎評分

關於 Coqtail

COQ 定理、抽象和實現(bachelor 級別)Coqtail 是使用 Coq 校樣助手的數學校樣庫。