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
20082026
-
…mbrock, you can feed that into HipSpec: http://www.cse.chalmers.se/~jomoa/papers/hipspec-atx.pdf https://github.com/danr/hipspec
comment by nickpsecurity · 2016-12-25 · in QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs (2000) [pdf] -
…) which conjectures equations about functions by testing them on random inputs. - HipSpec ( https://github.com/danr/hipspec ) which does the same as QuickSpec, but automatically proves the equations so they're guaranteed to hold. - The GHC…
comment by chriswarbo · 2016-11-29 · in Beating the Compiler -
…this to pure functions, using testing https://hackage.haskell.org/package/quickspec and proofs https://github.com/danr/hipspec It's also closely related to inductive programming (e.g. inductive logic programming, inductive functional…
comment by chriswarbo · 2016-06-23 · in Alan Kay has agreed to do an AMA today -
…And then the next step is HipSpec. http://www.cse.chalmers.se/~jomoa/papers/hipspec-atx.pdf https://github.com/danr/hipspec It takes equations about Haskell functions, and then uses off-the-shelf automated theorem provers, combined with…
comment by mbrock · 2016-02-16 · in What “Worse is Better vs. The Right Thing” is really about (2012)