Conference
A Certifying Proof Assistant for Synthetic Mathematics in Lean
| Τίτλος: | A Certifying Proof Assistant for Synthetic Mathematics in Lean |
|---|---|
| Συγγραφείς: | Nawrocki, Wojciech, Hua, Joseph, Carneiro, Mario, Xu, Yiming, Woolfson, Spencer, Rong, Shuge, Hazratpour, Sina, Awodey, Steve |
| Πηγή: | Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs. :88-103 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3779031.3779087 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3779031.3779087 |
|---|