Following citations of Andreka's paper leads us to "Using Isabelle/HOL to Verify First-Order Relativity Theory" by Stannett and Nemeti, 2014. Full-text PDF can be found on ResearchGate and perhaps elsewhere. https://t.co/L6d6YK6EyP
74 followers
3,634 followers
Using Isabelle to verify special relativity, with application to hypercomputation theory. ~ M. Stannett & I. Nemeti http://t.co/hUzbz80HN7
289 followers
Using Isabelle to verify special relativity, with application to hypercomputation theory http://t.co/UNcPU6fc
487 followers
[PDF] Using Isabelle to verify special relativity, with application to hypercomputation theory (M. Stannett, I. Németi) http://t.co/9WpmpOsR
3,634 followers
Using Isabelle to verify special relativity, with application to hypercomputation theory ~ M. Stannett & I. Németi http://t.co/bgHyPd9R #ITP
3,405 followers
automated proofs over first order logic version of relativity theory http://t.co/9HxgWZSm
3,643 followers
automated proofs over first order logic version of relativity theory http://t.co/9HxgWZSm