Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pypi.org : pomagma

An inference engine for extensional lambda-calculus

Registry - Source - Documentation - JSON
purl: pkg:pypi/pomagma
Keywords: inference-engine, lambda-calculus, theorem-proving
License: Apache-2.0
Latest release: over 8 years ago
First release: almost 10 years ago
Dependent repositories: 2
Downloads: 22 last month
Stars: 17 on GitHub
Forks: 2 on GitHub
Total Commits: 1997
Committers: 3
Average commits per author: 665.667
Development Distribution Score (DDS): 0.002
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 24 days ago

    Loading...
    Readme
    Loading...