{"adoption": {"forks": 287, "observed_at": "2026-08-28T04:04:27.472103+00:00", "stars": 1346}, "canonical_url": "https://ross.abutalabs.com/products/openlogic", "card": {"archived": false, "artifact_type": "learning-resource", "description": "An open-source, customizable intermediate logic textbook", "domain": ["education", "mathematics", "tutorials"], "enriched": true, "function": ["documentation", "markdown"], "health_score": 79, "homepage": "http://openlogicproject.org/", "language": "TeX", "license": "CC-BY-4.0", "license_family": "other", "maturity": "active", "member_repos": ["OpenLogicProject/OpenLogic"], "name": "OpenLogicProject/OpenLogic", "platform": ["cross-platform"], "pushed_at": "2026-08-14T15:51:07+00:00", "repo": "OpenLogicProject/OpenLogic", "stars": 1346, "tags": ["open-educational-resource", "latex", "logic", "textbook", "philosophy", "set-theory", "model-theory", "computability", "modal-logic"], "topics": [], "urls": [], "use_cases": ["build a custom logic textbook for a philosophy course", "find free teaching material on Gödel's incompleteness theorems", "learn first-order logic semantics and proof systems", "get LaTeX source for a set theory or model theory text", "adapt an open logic text for computer science students", "remix open educational resources on modal or intuitionistic logic"], "what_it_is": "An open-source, modular, collaboratively authored LaTeX textbook on intermediate and advanced logic, aimed at philosophers, computer scientists, and mathematicians. Its configurable build system lets instructors remix sections, notation, and exercises to produce custom course texts.", "when_to_avoid": ["you need an introductory 'what is an argument' logic course", "you want a polished commercial textbook with publisher support", "you need interactive exercises or auto-grading rather than a static PDF"], "when_to_choose": ["you need a rigorous, free, remixable logic textbook with LaTeX source", "you teach intermediate/advanced logic and want configurable notation and topic selection", "you want open educational resource material on computability, incompleteness, or proof systems"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/openlogic", "repo": "OpenLogicProject/OpenLogic", "role": "main", "score": 66}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:04:27.472103+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T04:42:40.665918+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "5caf9c104fd864181be05951028041799aaaa9f3dd52321b678b944d1be60176", "fetched_at": "2026-08-28T04:04:27.472103+00:00", "kind": "readme", "missing": false, "url": "https://github.com/OpenLogicProject/OpenLogic"}, {"content_hash": "c35347e32d5cb6a49983af92b81dabf104e9b31917b609ebbe30f5b4a9d6d680", "fetched_at": "2026-08-29T12:01:49.571921+00:00", "kind": "homepage", "missing": false, "url": "http://openlogicproject.org/"}, {"content_hash": "91035c77b4c6c8d5cc2fc44698825949dc338a1c059bf32e05d5f2034f49ca95", "fetched_at": "2026-08-29T12:01:49.581625+00:00", "kind": "site_page", "missing": false, "url": "https://openlogicproject.org/about"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:04:27.472103+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T04:42:40.665918+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "5caf9c104fd864181be05951028041799aaaa9f3dd52321b678b944d1be60176", "fetched_at": "2026-08-28T04:04:27.472103+00:00", "kind": "readme", "missing": false, "url": "https://github.com/OpenLogicProject/OpenLogic"}, {"content_hash": "c35347e32d5cb6a49983af92b81dabf104e9b31917b609ebbe30f5b4a9d6d680", "fetched_at": "2026-08-29T12:01:49.571921+00:00", "kind": "homepage", "missing": false, "url": "http://openlogicproject.org/"}, {"content_hash": "91035c77b4c6c8d5cc2fc44698825949dc338a1c059bf32e05d5f2034f49ca95", "fetched_at": "2026-08-29T12:01:49.581625+00:00", "kind": "site_page", "missing": false, "url": "https://openlogicproject.org/about"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T04:42:40.665918+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "5caf9c104fd864181be05951028041799aaaa9f3dd52321b678b944d1be60176", "fetched_at": "2026-08-28T04:04:27.472103+00:00", "kind": "readme", "missing": false, "url": "https://github.com/OpenLogicProject/OpenLogic"}, {"content_hash": "c35347e32d5cb6a49983af92b81dabf104e9b31917b609ebbe30f5b4a9d6d680", "fetched_at": "2026-08-29T12:01:49.571921+00:00", "kind": "homepage", "missing": false, "url": "http://openlogicproject.org/"}, {"content_hash": "91035c77b4c6c8d5cc2fc44698825949dc338a1c059bf32e05d5f2034f49ca95", "fetched_at": "2026-08-29T12:01:49.581625+00:00", "kind": "site_page", "missing": false, "url": "https://openlogicproject.org/about"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:04:27.472103+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:04:27.472103+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:04:27.472103+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T04:42:40.665918+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "5caf9c104fd864181be05951028041799aaaa9f3dd52321b678b944d1be60176", "fetched_at": "2026-08-28T04:04:27.472103+00:00", "kind": "readme", "missing": false, "url": "https://github.com/OpenLogicProject/OpenLogic"}, {"content_hash": "c35347e32d5cb6a49983af92b81dabf104e9b31917b609ebbe30f5b4a9d6d680", "fetched_at": "2026-08-29T12:01:49.571921+00:00", "kind": "homepage", "missing": false, "url": "http://openlogicproject.org/"}, {"content_hash": "91035c77b4c6c8d5cc2fc44698825949dc338a1c059bf32e05d5f2034f49ca95", "fetched_at": "2026-08-29T12:01:49.581625+00:00", "kind": "site_page", "missing": false, "url": "https://openlogicproject.org/about"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:04:27.472103+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:04:27.472103+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T04:42:40.665918+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "5caf9c104fd864181be05951028041799aaaa9f3dd52321b678b944d1be60176", "fetched_at": "2026-08-28T04:04:27.472103+00:00", "kind": "readme", "missing": false, "url": "https://github.com/OpenLogicProject/OpenLogic"}, {"content_hash": "c35347e32d5cb6a49983af92b81dabf104e9b31917b609ebbe30f5b4a9d6d680", "fetched_at": "2026-08-29T12:01:49.571921+00:00", "kind": "homepage", "missing": false, "url": "http://openlogicproject.org/"}, {"content_hash": "91035c77b4c6c8d5cc2fc44698825949dc338a1c059bf32e05d5f2034f49ca95", "fetched_at": "2026-08-29T12:01:49.581625+00:00", "kind": "site_page", "missing": false, "url": "https://openlogicproject.org/about"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:04:27.472103+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:04:27.472103+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:04:27.472103+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T04:42:40.665918+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "5caf9c104fd864181be05951028041799aaaa9f3dd52321b678b944d1be60176", "fetched_at": "2026-08-28T04:04:27.472103+00:00", "kind": "readme", "missing": false, "url": "https://github.com/OpenLogicProject/OpenLogic"}, {"content_hash": "c35347e32d5cb6a49983af92b81dabf104e9b31917b609ebbe30f5b4a9d6d680", "fetched_at": "2026-08-29T12:01:49.571921+00:00", "kind": "homepage", "missing": false, "url": "http://openlogicproject.org/"}, {"content_hash": "91035c77b4c6c8d5cc2fc44698825949dc338a1c059bf32e05d5f2034f49ca95", "fetched_at": "2026-08-29T12:01:49.581625+00:00", "kind": "site_page", "missing": false, "url": "https://openlogicproject.org/about"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:04:27.472103+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:04:27.472103+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T04:42:40.665918+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "5caf9c104fd864181be05951028041799aaaa9f3dd52321b678b944d1be60176", "fetched_at": "2026-08-28T04:04:27.472103+00:00", "kind": "readme", "missing": false, "url": "https://github.com/OpenLogicProject/OpenLogic"}, {"content_hash": "c35347e32d5cb6a49983af92b81dabf104e9b31917b609ebbe30f5b4a9d6d680", "fetched_at": "2026-08-29T12:01:49.571921+00:00", "kind": "homepage", "missing": false, "url": "http://openlogicproject.org/"}, {"content_hash": "91035c77b4c6c8d5cc2fc44698825949dc338a1c059bf32e05d5f2034f49ca95", "fetched_at": "2026-08-29T12:01:49.581625+00:00", "kind": "site_page", "missing": false, "url": "https://openlogicproject.org/about"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T04:42:40.665918+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "5caf9c104fd864181be05951028041799aaaa9f3dd52321b678b944d1be60176", "fetched_at": "2026-08-28T04:04:27.472103+00:00", "kind": "readme", "missing": false, "url": "https://github.com/OpenLogicProject/OpenLogic"}, {"content_hash": "c35347e32d5cb6a49983af92b81dabf104e9b31917b609ebbe30f5b4a9d6d680", "fetched_at": "2026-08-29T12:01:49.571921+00:00", "kind": "homepage", "missing": false, "url": "http://openlogicproject.org/"}, {"content_hash": "91035c77b4c6c8d5cc2fc44698825949dc338a1c059bf32e05d5f2034f49ca95", "fetched_at": "2026-08-29T12:01:49.581625+00:00", "kind": "site_page", "missing": false, "url": "https://openlogicproject.org/about"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T04:42:40.665918+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "5caf9c104fd864181be05951028041799aaaa9f3dd52321b678b944d1be60176", "fetched_at": "2026-08-28T04:04:27.472103+00:00", "kind": "readme", "missing": false, "url": "https://github.com/OpenLogicProject/OpenLogic"}, {"content_hash": "c35347e32d5cb6a49983af92b81dabf104e9b31917b609ebbe30f5b4a9d6d680", "fetched_at": "2026-08-29T12:01:49.571921+00:00", "kind": "homepage", "missing": false, "url": "http://openlogicproject.org/"}, {"content_hash": "91035c77b4c6c8d5cc2fc44698825949dc338a1c059bf32e05d5f2034f49ca95", "fetched_at": "2026-08-29T12:01:49.581625+00:00", "kind": "site_page", "missing": false, "url": "https://openlogicproject.org/about"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T04:42:40.665918+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "5caf9c104fd864181be05951028041799aaaa9f3dd52321b678b944d1be60176", "fetched_at": "2026-08-28T04:04:27.472103+00:00", "kind": "readme", "missing": false, "url": "https://github.com/OpenLogicProject/OpenLogic"}, {"content_hash": "c35347e32d5cb6a49983af92b81dabf104e9b31917b609ebbe30f5b4a9d6d680", "fetched_at": "2026-08-29T12:01:49.571921+00:00", "kind": "homepage", "missing": false, "url": "http://openlogicproject.org/"}, {"content_hash": "91035c77b4c6c8d5cc2fc44698825949dc338a1c059bf32e05d5f2034f49ca95", "fetched_at": "2026-08-29T12:01:49.581625+00:00", "kind": "site_page", "missing": false, "url": "https://openlogicproject.org/about"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 97, "longevity": 100, "rhythm": 8}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": [], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 4999, "days_push": 19, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 66, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}