On the naturalness of proofs
| Title: | On the naturalness of proofs |
|---|---|
| Authors: | Hellendoorn, Vincent J.; Devanbu, Premkumar T.; Alipour, Mohammad Amin |
| Source: | Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :724-728 |
| Availability: | http://dl.acm.org/doi/10.1145/3236024.3264832 |
| Database: | ACM Full-Text Collection |