Total Visits

Views
A Mechanised Proof of Gödel’s Incompleteness Theorems using Nominal Isabelle119

Total Visits Per Month

April 2020May 2020June 2020July 2020August 2020September 2020October 2020
A Mechanised Proof of Gödel’s Incompleteness Theorems using Nominal Isabelle3140233

File Downloads

Views
Paulson_A Mechanised Proof of Gödel's Incompleteness Theorems_2015_ Journal of Automated Reasoning.pdf234

Top country views

Views
United States46
France21
United Kingdom20
China13
Germany9
Japan2
Poland2
Canada1
Colombia1
Spain1

Top cities views

Views
Ashburn21
Fairfield13
Southend6
Beijing5
Boardman4
Oakland3
Cambridge2
Nanning2
Shenzhen2
Atri1