Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Express properties about Haskell programs and automatically prove them
github.com/nushio3
3 points
ColinWright
13 years ago
No comment yet
Express properties about Haskell programs and automatically prove them | Heykuki News