243 followers
Quantomatic: A Proof Assistant for Diagrammatic Reasoning http://t.co/U1tY6ACSa1
Quantomatic: A Proof Assistant for Diagrammatic Reasoning http://t.co/U1tY6ACSa1
RT @verif_papers: KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. - Crystal Chang Din, Richard… http://t.…
SEPIA: Search for Proofs Using Inferred Automata. - Thomas Gransden, Neil Walkinshaw, Rajeev Raman http://t.co/OSeUlubuHu
Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3. - Filip Maric, Predrag Janicic,… http://t.co/nfBplKNhFV