Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers (digitalcommons.chapman.edu) 5 points by dolia 1mo ago ↗ HN
0 comments
[ 2.0 ms ] story [ 12.7 ms ] threadNo comments yet.