An open API service providing repository metadata for many open source software ecosystems.
A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.
Size: 658 KB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 31 - Forks: 10
