<Good First Issue />

/

Sign in Sign up

HigherOrderCO/Kind

A modern proof language

HaskellStars 3714Forks 147Watchers 3714Open issues 7License MIT License

Details

仓库信息

OwnerHigherOrderCO

Homepagehttps://higherorderco.com

GitHubhttps://github.com/HigherOrderCO/Kind

Last pushed2025-01-22

Last updated2025-12-15

Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--