Changes between Version 3 and Version 4 of WikiStart


Ignore:
Timestamp:
Jun 11, 2015, 9:24:34 PM (21 months ago)
Author:
tilk
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v3 v4  
    33Interactive theorem proving for everyone.
    44
    5 http://easyprove.ii.uni.wroc.pl/easyprove/
     5Try it out: http://easyprove.ii.uni.wroc.pl/easyprove/
    66
    7 Polish: http://easyprove.ii.uni.wroc.pl/easyprove/?locale=pl_PL
     7Po polsku: http://easyprove.ii.uni.wroc.pl/easyprove/?locale=pl_PL
     8
     9== Publications
     10
     11[http://www.tilk.eu/papers/materzok-ttl15.pdf Easyprove: a tool for teaching precise reasoning] - on [http://ttl2015.irisa.fr/ TTL 2015]
     12
     13== Contact the author
     14
     15E-mail: marek.materzok@ii.uni.wroc.pl, website: http://www.tilk.eu/
     16
     17Feedback is appreciated!