Apr 26, 2015:

12:42 PM Ticket #15 (Analogies in proofs) created by tilk
Users should not be required to repeat some line of reasoning twice. …
12:41 PM Ticket #14 (Composite actions) created by tilk
So that there is no need to apply "take any" repeatedly on many …
12:40 PM Ticket #13 (Set comprehensions with patterns) created by tilk
Currently, one can only write set comprehensions like this: {x \in S | …
12:39 PM Ticket #12 (Definition proof step) created by tilk
One should be able to define his own constants in the proof. Defining …

Apr 19, 2015:

10:42 AM Ticket #11 (Persistent login cookie) created by tilk
Would make accessing the system easier.
10:42 AM Ticket #10 (Log in with OpenID Connect (e.g. Google)) created by tilk
This would make creating new accounts in Easyprove easier.
Note: See TracTimeline for information about the timeline view.