wiki:WikiStart

Easyprove

Interactive theorem proving for everyone.

Try it out: http://easyprove.ii.uni.wroc.pl/easyprove/

Po polsku: http://easyprove.ii.uni.wroc.pl/easyprove/?locale=pl_PL

Publications

Easyprove: a tool for teaching precise reasoning - on TTL 2015

Contact the author

E-mail: marek.materzok@ii.uni.wroc.pl, website: http://www.tilk.eu/

Feedback is appreciated!

Last modified 15 months ago Last modified on Jun 11, 2015 9:24:34 PM