Kind

Kind

3670
146

A modern proof language

Community

GitHub

Languages

Haskell
100%

Good First Issues

Ideal for first-time contributors

All Issues

Browse every open issue in this repository

README.md