237 followers
Quantomatic: A Proof Assistant for Diagrammatic Reasoning http://t.co/U1tY6ACSa1
Quantomatic: A Proof Assistant for Diagrammatic Reasoning http://t.co/U1tY6ACSa1
Quantomatic: A Proof Assistant for Diagrammatic Reasoning. - Aleks Kissinger, Vladimir Zamdzhiev http://t.co/FEygMteVUA
Quantomatic: A proof assistant for diagrammatic reasoning. http://t.co/ZFun1foGd9