Published June 2, 2026
| Version v4.27.0
Software
Open
galvusdamor/lean4-planner: v4.27.0-hsdip2026
Authors/Creators
- 1. Universiteit van Amsterdam
- 2. ILLC, University of Amsterdam
Description
No description provided.
Files
galvusdamor/lean4-planner-v4.27.0.zip
Files
(73.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:f1569d85ef85b83b8644c021e8b07a5c
|
73.0 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/galvusdamor/lean4-planner/tree/v4.27.0 (URL)
Software
- Repository URL
- https://github.com/galvusdamor/lean4-planner