Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers

 (digitalcommons.chapman.edu)

5 points | by dolia 3 hours ago ago

No comments yet.