GitHub repository: proofengineering/proofengineering-bib
Primary language: TeX
Created: 2017-05-05T17:12:05Z
Description: BibTeX bibliographies for proof engineering-related papers