QuantoDerive, a new graphical reasoning tool, now available

[Aleks Kissinger]

Hi all,

Lately, Vladimir and I have been working hard to get the first of the
big "Quanto 2013/14" projects out the door, and it's finally (more or
less) ready for mass consumption.

QuantoDerive is a "graphical derivation editor", built on top of
Quantomatic, which many of you would have heard about sometime in the
past few years. That means it is a tool for drawing diagrams, creating
diagram equations, and most importantly: applying diagram equations to
create graphical proofs, aka "derivations" in QuantoDerive lingo.

The tool has come a long way from its last iteration, in that it's no
longer a "proof of concept", but is actually suitable for doing real
work. So, I suggest to anyone working with graphical languages,
especially "dot-style" languages like ZX, try it out.

Downloads for Mac, Linux, and Windows, as well as a brief tutorial,
are available from the (new) website:

http://quantomatic.github.io


As this is a pre-release, you are bound to encounter some bugs and
oddities. It would help us out a lot if you either file them as issues
on the GitHub project (for those of you who are GitHubbers) or email
them to me or Vladimir Zamdzhiev (vladimir....@cs.ox.ac.uk).


Best,

Aleks Kissinger

[Aleks Kissinger]

We seem to have LT-B booked from noon tomorrow. So how about a quanto
demo at 12:15?

On 5 May 2014 17:23, Chris Heunen <heu...@cs.ox.ac.uk> wrote:
>> Probably an informal demo at a quantum lunch asap would be useful for many. In general, rather than a fixed line-up for an entire term, it would be good to have slots in quantum lunch for impromptu new stuff.
>
> Just to clarify, the quantum lunch line-up is much less fixed than Bob
> suggests, and impromptu new stuff is always welcome. In fact, that is
> one of the points of quantum lunch! For some reason it rarely happens
> that people suggest an impromptu topic, which is why a fall-back
> schedule is planned a bit in advance, but I'd really like to encourage
> it. This term we're transitioning to a new organiser for quantum
> lunch, namely Kohei. Please let him know whenever you have an exciting
> new topic you'd like to bring up, even (especially) when it's not very
> much worked out yet, or not even your own work.
>
> Tomorrow we're already having Yoshi for lunch, next week there will be
> a slightly more formal quantum lunch by a visitor from Cambridge, and
> week 4 is filled with the spring school. So for a speedy QuantoDerive
> demo it's probably best to organise another time sometime this week or
> next.
>
> Best,
> Chris

[Alex Merry]

Well done! I've seen the email notifications of closed issues whizzing
past...

Alex

[Ross Duncan]

Let me just second Alex’s well done. This looks real good. I will let you know when I have more of a chance to play with it. Sadly I won’t be able to come to the demo, but I’ll see you all at PrakashFest!
-r

[Aleks Kissinger]

That would mostly be due to us closing all the old Quantomatic GUI
issues, since we're planning to put that out to pasture pretty soon.

> --
> You received this message because you are subscribed to the Google Groups "Quantomatic" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to quantomatic...@googlegroups.com.
> To post to this group, send email to quant...@googlegroups.com.
> Visit this group at http://groups.google.com/group/quantomatic.
> For more options, visit https://groups.google.com/d/optout.

[Ross Duncan]

But what happened to the old icon? It was way cooler.
-r

[Aleks Kissinger]

I do like that wild-west style Q

[Lucas Dixon]

Wow; this is fantastic to see! Thanks for the update!