Untangling Mechanized Proofs

SLE ’20, November 16–17, 2020, Virtual, USA

Bibliographic Details
Main Author:	Pit-Claudel, Cl?ment
Other Authors:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Article
Language:	English
Published:	ACM\|Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering 2025
Online Access:	https://hdl.handle.net/1721.1/158169

Internet

https://hdl.handle.net/1721.1/158169