quantomatic.github.io - Quantomatic :: Home

home > domains > quantomatic.github.io

Example domain paragraphs

Quantomatic is a diagrammatic proof assistant , meaning it provides machine-support for reasoning with diagrammatic languages (check out some of our papers ). It allows users to draw diagrams and build up proofs using diagrammatic rewrite rules. It's easier to show you what that means than to tell you, so download it and try it out!

Download JAR (all platforms) GitHub Project »

You can choose between: the latest stable release (recommended): From GitHub or you can access the source code directly .

Links to quantomatic.github.io (3)

• hjmb.co.uk Hector Miller-Bakewell
• joshuatan.com Joshua Tan
• zamdzhiev.github.io Vladimir Zamdzhiev | Research Scientist