Skip to content
Metatext
Sign Up

lean4-setup

Skillby leanprover

Set up a lean4 repository clone with proper elan toolchains.

Repository Source folder

Details

Path
skills/lean-setup/SKILL.md

FAQ