hex.pm "proof-assistant" keyword
anders 0.3.10
The Anders Programming Language1 version - Latest release: 6 days ago - 1.35 thousand downloads total - 23 stars on GitHub - 1 maintainer
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.