Marked vs Ergo

MarkedErgo
Stars31,688144
Downloads
Dependent Packages12,0369
Dependent Repos90,50110
Most Recent Commit10 days agoa year ago
Total Releases164960
Latest ReleaseDecember 08, 2023November 08, 2022
Open Issues2246
Licenseotherapache-2.0
Programming LanguageJavaScriptCoq