Index of /~mptp/grunge/results/tactictoe
Name
Last modified
Size
Description
Parent Directory
-
proven1
2019-02-11 17:58
288K
proven2
2019-02-11 18:03
193K
theorem1
2019-02-11 17:57
499K
theorem2
2019-02-11 18:02
328K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80