GitHub repository: EdAyers/Robotone
Primary language: Haskell
Created: 2016-12-05T08:18:46Z
Description: The 'Robot' theorem prover. Fork of github.com/mg262/research