Skip to content
Lean Action CI

Code for FormaliSE '26 paper "Simple Lambda Lifting" #1

Sign in to view logs

Code for FormaliSE '26 paper "Simple Lambda Lifting"

Code for FormaliSE '26 paper "Simple Lambda Lifting" #1

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
59s
59s