GitHub / arrow-kt / arrow-proofs

Arrow Proofs Plugin

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/arrow-kt%2Farrow-proofs
PURL: pkg:github/arrow-kt/arrow-proofs

Stars: 10
Forks: 3
Open issues: 14

License: apache-2.0
Language: Kotlin
Size: 20.7 MB
Dependencies parsed at: Pending

Created at: over 3 years ago
Updated at: almost 2 years ago
Pushed at: 19 days ago
Last synced at: 18 days ago

Loading...