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" ,
}
|