Files

 main

/

platform

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

kuruczgy

Update Lean to version 4.13.0

Dec 9, 2024

fb3db46 · Dec 9, 2024

History

History

/

platform

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
lean		lean	Update nixpkgs	Dec 9, 2024
runtime		runtime	Update Lean to version 4.13.0	Dec 9, 2024
esp32-c3.ld		esp32-c3.ld	Add ESP32-C3 Lean example	Jul 29, 2024
View all files