← All repos

danr/hipspec

View on GitHub ↗ ★ 92 Haskell

A hip inductive theorem prover!

4 mentions on Hacker News by 3 people: 0 stories, 4 comments · first 2016-02-16 · latest 2016-12-25