Hacker News new | ask | show | jobs
Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers (digitalcommons.chapman.edu)
5 points by dolia 7 days ago