wiki:WikiStart

Version 4 (modified by tilk, 2 years ago) (diff)

--

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!