https://chiqp.cs.uchicago.edu/tag/proof-engineering/
proof engineering | ChiQP Lab
The University of Chicago Quantum Programming Lab
proof engineeringlab
https://github.com/proofengineering/proofengineering-bib
GitHub - proofengineering/proofengineering-bib: BibTeX bibliographies for proof engineering-related...
BibTeX bibliographies for proof engineering-related papers - proofengineering/proofengineering-bib
proof engineeringgithubbibrelated