Sunday, March 27, 2016

Automating Proofs

Automating Proofs: Math struggles with the usability of formal proofs.

No comments:

Post a Comment

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