Monday, March 30, 2015

Tutorial: Theorem Proving in Lean

Comments



from Hacker News http://ift.tt/1IAUwkq
Posted by at

No comments:

Post a Comment

Note: Only a member of this blog may post a comment.

Subscribe to: Post Comments (Atom)