StarDayOpen source rankings
Back to rankings

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

Repository stars
1,392All-time #33,456
Fork
292
Last push
updated 2 months ago
Repository created
since 2012
Apps & systemsGeneralTeXCC-BY-4.0 · Permissive
View sourceWebsite

About

Original · GitHub
An open-source, customizable intermediate logic textbook

Summarised by AI from the README; the original prevails

Author description: An open-source, customizable intermediate logic textbook

Basic listing based on official public information; functionality has not been independently evaluated.

Pricing
Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.
Other

Star trend

1,3921,3931,39310-0910-1410-1910-2410-2911-0311-07
Raw observations · 3
Historical observations
Measured atRepository starsSource
2026-11-08 01:53 UTC1,392Source
2026-11-07 16:24 UTC1,392Source
2026-11-06 09:20 UTC1,392Source

First collected 2026-11-06Measured at 2026-11-08 01:53 UTCSourceLicense source

Compiled from public project information; not independently tested. · Repository Stars, not unique users · License tiers are derived from metadata. Check obligations for your use; unknown does not mean prohibited.