D digitalcommons.chapman.edu Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers 5 points dolia 4 months ago 0 comments
