Kind: A Modern Proof Language | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

Kind: A Modern Proof Language | Heykuki News

Kind: A Modern Proof Language

github.com/uwu-tech

232 points

5 years ago

111 comments

Threaded

Loading comments...