AI2001_Category-Source_Code-SC-Isabelle and AI2001_Category-Source_Code-SC-Coq

AI2001_Category-Source_Code-SC-Isabelle
30
Emerging
AI2001_Category-Source_Code-SC-Coq
30
Emerging
Maintenance 0/25
Adoption 2/25
Maturity 16/25
Community 12/25
Maintenance 0/25
Adoption 2/25
Maturity 16/25
Community 12/25
Stars: 2
Forks: 1
Downloads: —
Commits (30d): 0
Language: R
License: GPL-3.0
Stars: 2
Forks: 1
Downloads: —
Commits (30d): 0
Language: R
License: GPL-3.0
Stale 6m No Package No Dependents
Stale 6m No Package No Dependents

About AI2001_Category-Source_Code-SC-Isabelle

seanpm2001/AI2001_Category-Source_Code-SC-Isabelle

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Isabelle category for AI2001, containing Isabelle programming language datasets

About AI2001_Category-Source_Code-SC-Coq

seanpm2001/AI2001_Category-Source_Code-SC-Coq

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Coq category for AI2001, containing Coq programming language datasets

Related comparisons

AI2001_Category-Source_Code-SC-Isabelle and AI2001_Category-Source_Code-SC-PureScript AI2001_Category-Source_Code-SC-Isabelle and AI2001_Category-Source_Code-SC-Factor AI2001_Category-Source_Code-SC-Isabelle and AI2001_Category-Source_Code-SC-Fortran AI2001_Category-Source_Code-SC-Isabelle and AI2001_Category-Source_Code-SC-Fancy AI2001_Category-Source_Code-SC-Isabelle and AI2001_Category-Source_Code-SC-FStar AI2001_Category-Source_Code-SC-Isabelle and AI2001_Category-Source_Code-SC-Fortran95

Scores updated daily from GitHub, PyPI, and npm data. How scores work