search

HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.58k stars 142 forks source link

Create Problems.kind #339

Closed herniqeu closed 2 years ago

herniqeu commented 2 years ago

resolução de problemas