A Mizar Console with sophisticated Automated Reasoning support
Required Ruby Version
None
Authors
pmq20 (P.S.V.R))
Versions
- 0.0.1 October 10, 2011 (3.5 KB)
- 0.0.1.unfinished October 10, 2011 (19.5 KB)
A Mizar Console with sophisticated Automated Reasoning support
None
pmq20 (P.S.V.R))