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

(digitalcommons.chapman.edu) by dolia | Jun 15, 2026 | 0 comments on HN