Giters

arrow-kt / arrow-proofs

Arrow Proofs Plugin

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Arrow Inject

About

Arrow Proofs Plugin

License:Apache License 2.0

Languages

Language:Kotlin 91.1%Language:Java 8.8%Language:Shell 0.1%