6,140 followers
#Publication - The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it) | This paper … http://t.co/c2oYz7FkCy
#Publication - The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it) | This paper … http://t.co/c2oYz7FkCy