Loading

mizar RubyGem - Download Analytics, Stats & Trends | ClickGems

Powered by ClickHouse

mizar

Authors: pmq20 (P.S.V.R))

License: ...

Summary: A Mizar Console with sophisticated Automated Reasoning support

Can't find the visual you need? Build your own here

All

version

0.0.1.unfinishedmizar

latest version

RubyGem Downloads Over Time

Loading

Top RubyGem Versions

Loading

Downloads by Ruby Version Over Time

Loading

Top Contributors

Loading

Downloads by System Over Time

Loading

RubyGem Downloads by Country

Loading

© 2026 ClickHouse, Inc. HQ in the Bay Area, CA and Amsterdam, NL.

Trademark Privacy Security Terms of Service Cookie Policy

--

to

--

Loading

Downloads

by period

2

last day

4

last week

42

last month

7.3K

total

Loading

Loading

Loading

Loading

Loading