git @ Cat's Eye Technologies The-Glosscubator / 9c71ac8
Add a paper related to theorem proving. Chris Pressey 1 year, 2 months ago
4 changed file(s) with 8 addition(s) and 8 deletion(s). Raw diff Collapse all Expand all
+0
-2
FoM/README.md less more
4444
4545 [getting rid of existential quantifiers - MathOverflow](http://mathoverflow.net/questions/90324/getting-rid-of-existential-quantifiers)
4646
47 [a priori grounds of mathematics - MathOverflow](http://mathoverflow.net/questions/84570/a-priori-grounds-of-mathematics))
48
4947 [Paris--Harrington theorem - Wikipedia, the free encyclopedia](https://en.wikipedia.org/wiki/Paris%E2%80%93Harrington_theorem)
5048
5149 [lo.logic - What sorts of extra axioms might we add to ZFC to compute higher Busy Beaver numbers? - MathOverflow](https://mathoverflow.net/questions/380971/what-sorts-of-extra-axioms-might-we-add-to-zfc-to-compute-higher-busy-beaver-num)
+0
-6
FoM/src/Webpages.md less more
108108
109109 .
110110
111 ### a priori grounds of mathematics - MathOverflow
112
113 * url: http://mathoverflow.net/questions/84570/a-priori-grounds-of-mathematics)
114
115 .
116
117111 ### Paris--Harrington theorem - Wikipedia, the free encyclopedia
118112
119113 * url: https://en.wikipedia.org/wiki/Paris%E2%80%93Harrington_theorem
+2
-0
Theorem Proving/README.md less more
6868
6969 [Ulrich Berger, Minlog (wayback)](https://web.archive.org/web/20210506214300/http://www.cs.swan.ac.uk/~csulrich/minlog.html)
7070
71 [Theorem proving support in programming language semantics : Yves Bertot : Free Download, Borrow, and Streaming : Internet Archive](https://archive.org/details/arxiv-0707.0926)
72
7173 ### Books
7274
7375 The Seventeen Provers of the World (borrow @ [archive.org](https://archive.org/details/seventeenprovers00free))
+6
-0
Theorem Proving/src/Webpages.md less more
179179 * url: https://web.archive.org/web/20210506214300/http://www.cs.swan.ac.uk/~csulrich/minlog.html
180180
181181 .
182
183 ### Theorem proving support in programming language semantics : Yves Bertot : Free Download, Borrow, and Streaming : Internet Archive
184
185 * url: https://archive.org/details/arxiv-0707.0926
186
187 .