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,255 of 187,224
Downloads: 7,277

Daily

Ranking: 94,974 of 187,196
Downloads: 6

Depended by

RankDownloadsName

Depends on

RankDownloadsName
101,151,463,039rake
40680,836,311method_source
68559,418,095coderay
299149,259,774slop
325131,696,172open4
329130,316,618ruby_parser
8,153444,917bacon

Owners

#GravatarHandle
1iconpmq2001