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