aboutsummaryrefslogtreecommitdiff
path: root/academic/coq/gpl.txt.gz
AgeCommit message (Expand)Author
2011-08-05academic/coq: Added (The Coq Proof Assistant)William Bowman