This repository contains my attempts to solve the problems posed by Hillel Wayne in this blog post, in Liquid Haskell.
ct075 / theorem-prover-showdown Goto Github PK
View Code? Open in Web Editor NEWMy attempts to solve the problems posed at https://www.hillelwayne.com/post/theorem-prover-showdown/