Geeks
arrow-kt
/
arrow-proofs
Arrow Proofs Plugin
Primary Language
Kotlin
Apache License 2.0
Apache-2.0
arrow-proofs GitHub
Markdown
Readme
5
Issues
10
Stargazers
13
Watchers
Arrow Inject