Files

 main

/

lean4

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

lucperkins

Modernize things a bit

May 3, 2025

c1ae092 · May 3, 2025

History

History

/

lean4

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
.envrc		.envrc	Add support for Lean 4	Oct 11, 2024
flake.lock		flake.lock	Modernize things a bit	May 3, 2025
flake.nix		flake.nix	Modernize things a bit	May 3, 2025
View all files