summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/apxproof/apxproof.bib
blob: f0ae357682498f0b4ef90b52dedb632cd9fddeea (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
@book{ lamport86 ,
  author =    "Leslie Lamport" ,
  title =     "\LaTeX: A Document Preparation System" ,
  publisher = "Addison--Wesley Pub.\ Co." ,
  year =      "1986" ,
  address =   "Reading, MA" 
}

@misc{ proofsAreHard ,
  author =    "Unknown" ,
  title =     "Proofs are Hard" ,
  year =      "2016" ,
}