Categories: None [Edit]

mizar

https://rubygems.org/gems/mizar
https://github.com/pmq20/t2ku-reasoner
A Mizar Console with Sophisticated Reasoning Support

Total

Ranking: 104,114 of 187,548
Downloads: 7,352

Daily

Ranking: 78,639 of 187,532
Downloads: 3

Depended by

RankDownloadsName

Depends on

RankDownloadsName
101,164,433,060rake
41686,074,102method_source
70563,696,079coderay
303149,705,757slop
326132,794,377open4
331130,879,801ruby_parser
8,174447,275bacon

Owners

#GravatarHandle
1iconpmq2001