mizar 0.0.1.unfinished
A Mizar Console with sophisticated Automated Reasoning support
Gemfile:
=
installation:
=
Versions:
- 0.0.1 October 10, 2011 (3,5 ko)
- 0.0.1.unfinished October 10, 2011 (19,5 ko)