rosekunkel / lh-sequent-calc

Sequent calculus proofs in Liquid Haskell

Geek Repo

Github PK Tool