Ecosyste.ms: Packages

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

nuget.org : nymph

Nymph is a natural language theorem prover that uses natural language to state and write proofs of logical and mathematical theorems.

Registry - Homepage - JSON
purl: pkg:nuget/nymph
Keywords: math, logic, theorem, prover
License:
Latest release: almost 4 years ago
First release: almost 4 years ago
Last synced: 13 days ago

Readme