proofengineering/proofengineering-bib

BibTeX bibliographies for proof engineering-related papers

语言：TeX · GitHub 星标：30 · Fork：1

话题：bibliography · bibtex · bibtex-db · proof-engineering

在 GitHub 上查看原仓库