Lambda Lifting in Lean -- source code artifact
Published in Zenodo (CERN European Organization for Nuclear Research) • Nov 7, 2025
NobleIDNI4P63W02R37S27
Authors:
Anonymous Author(s)
Abstract
NOTE: This is not the version submitted for review. It is a backup upload that excludes the file "lambda-lifting-lean-vm.ova" (1.3GB) because Zenodo's upload speed is incredibly slow.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!