Ecosyste.ms: Packages

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

nuget.org : sylph

F# language-integrated proof assistant.

Registry - Homepage - JSON
purl: pkg:nuget/sylph
Keywords: math, logic, theorem, prover
License:
Latest release: about 4 years ago
First release: over 4 years ago
Dependent packages: 1
Downloads: 3,158 total
Last synced: 4 days ago

Readme