234 followers
SEPIA: Search for Proofs Using Inferred Automata. - Thomas Gransden, Neil Walkinshaw, Rajeev Raman http://t.co/OSeUlubuHu
SEPIA: Search for Proofs Using Inferred Automata. - Thomas Gransden, Neil Walkinshaw, Rajeev Raman http://t.co/OSeUlubuHu