[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

Re: Anyone want to review and/or sponsor Coq package?



Alan Dunn wrote:
Thanks to help the other day from the list, there is now a candidate
Coq package for fedora:

https://bugzilla.redhat.com/show_bug.cgi?id=450323
Description: Review Request: coq - Coq proof management system

Coq is a formal proof management system. It allows for the determinations of alcohol percentage in moonshine distillations... ;-)


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]