Displaying 1 result from an estimated 1 matches for "6d45664a".
Did you mean:
6d33664a
2017 Jan 05
2
Alive now available online
Hi,
Just a short email to announce that Alive is now available online:
http://rise4fun.com/Alive
The site includes a few examples (both correct and buggy). You can also
create a "permalink" to send the proof to someone else.
The execution time is limited to 30 seconds for now. You may want to
constrain the operand's types if the tool times out, for example.
The service is