Garlene: Guarded Recursion in Lean
- Sergei Stepanenko(Creator),
- Patrick Bahr(Creator),
- Rasmus Ejlers Møgelberg(Creator)
- Aarhus University,
Dataset:
Dataset Types
Software
Dataset Information
Date made available
14/09/2026Publisher
ZENODODescription
Lean mechanization supplement for Garlene: Guarded Recursion in Lean paper.
Cite this dataset
Brief description
Sergei Stepanenko, Patrick Bahr, Rasmus Ejlers Møgelberg. (2026). Garlene: Guarded Recursion in Lean. 10.5281/zenodo.22752506
Access to documents
License:MIT License