A Mizar Console with Sophisticated Reasoning Support

Required Ruby Version

None

Authors

pmq20 (P.S.V.R))

Versions

  1. 0.0.1

    1. source

      1. 0.0.1 source October 10, 2011 (3.5 KB)
  2. 0.0.1.unfinished

    1. source

      1. 0.0.1.unfinished source October 10, 2011 (19.5 KB)

SHA 256 checksum

← Previous version