An anti-locally-nameless approach to formalizing quantifiers

Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs ◽

10.1145/3437992.3439926 ◽

2021 ◽

Author(s):

Olivier Laurent

Download Full-text