Cited By
View all- Zakhour GWeisenburger PSalvaneschi G(2024)Automated Verification of Fundamental Algebraic LawsProceedings of the ACM on Programming Languages10.1145/36564088:PLDI(766-789)Online publication date: 20-Jun-2024
- Kudasov NRiehl EWeinberger JTimany ATraytel DPientka BBlazy S(2024)Formalizing the ∞-Categorical Yoneda LemmaProceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3636501.3636945(274-290)Online publication date: 9-Jan-2024
- Xie LHui ZCao Q(2024)A Natural Formalized Proof LanguageTheoretical Aspects of Software Engineering10.1007/978-3-031-64626-3_26(446-464)Online publication date: 29-Jul-2024
- Show More Cited By