gitlab.com / verify-at-iitpkd / coq-lectures
Lecture notes and study material for the Proof Assistant Coq
JSON API: http://repos.ecosyste.ms/api/v1/hosts/gitlab.com/repositories/verify-at-iitpkd%2Fcoq-lectures
Stars: 0
Forks: 0
Open issues: 0
License: None
Language:
Dependencies parsed at: Pending
Created at: almost 4 years ago
Updated at: over 3 years ago
Last synced at: over 2 years ago
Topics: Coq, Proof Assistant
Loading...