ci: setup lean4 environment via elan - Githubissues

digama0 / lean-sys

Rust bindings for the Lean 4 proof assistant

Apache License 2.0

17 stars 5 forks source link

ci: setup lean4 environment via elan #9

Closed SchrodingerZhu closed 1 year ago