lindseykuper: Photo of me outside. (Default)
lindseykuper ([personal profile] lindseykuper) wrote in [personal profile] winterkoninkje 2010-06-13 06:20 pm (UTC)

If people are interested in more Coq support, I've been working on a Coq library for basic monadic coding in a desperate attempt to make programming (rather than theorem proving) viable in Coq.

Have you already looked at Ynot and found it didn't do what you want?
(2 comments)

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting

If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org

 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.