http://proveit.cc.gatech.edu/ - érdekes lenne megnézni, működik-e a magyar wikin.

Üdv,
Bence