Ben Banana Posted May 8, 2014 Share Posted May 8, 2014 (edited) I found this somewhat exciting. http://flint.cs.yale.edu/flint/publications/smc.html I'm not well acquainted with Coq -- and I never intend to be -- but this paper is exciting nevertheless due to its moderately landmark-sized accomplishments. Cool! Hope you enjoy looking over it. Edited May 8, 2014 by Ben Banana Link to comment Share on other sites More sharing options...
zeon23445 Posted May 23, 2014 Share Posted May 23, 2014 Very interesting. Link to comment Share on other sites More sharing options...
Recommended Posts
Create an account or sign in to comment
You need to be a member in order to leave a comment
Create an account
Sign up for a new account in our community. It's easy!
Register a new accountSign in
Already have an account? Sign in here.
Sign In Now