Beautiful, interactive visualizations of logical inference
ezyang/logitext has 157 GitHub stars.
It currently ranks #7709 daily, #8940 weekly, #12864 monthly by momentum on Trending Repos; its best-ever rank is #1277.