The following pages link to Proofs and Refutations (Q5256772):
Displayed 4 items.
- POSIX file store in Z/Eves: An experiment in the verified software repository (Q1004296) (← links)
- T. S. Kuhn's theories and mathematics: A discussion paper on the 'new historiography' of mathematics (Q1232271) (← links)
- Cauchy and the infinitely small (Q1256997) (← links)
- Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues (Q2364670) (← links)