Wednesday, March 23, 2016

Automating Proofs

Math struggles with the usability of formal proofs.



from Communications of the ACM: Latest Issue http://ift.tt/21HFSji

No comments:

Post a Comment