search

leanprover / lean4

Lean 4 programming language and theorem prover
https://lean-lang.org
Apache License 2.0
4.74k stars 427 forks source link

refactor: split `Lean.Language.Basic` #6156

Closed Kha closed 4 days ago

Kha commented 4 days ago

Avoids an import cycle with Lean.CoreM