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

chore: upstream `nolint` attribute #6215

Open jcommelin opened 5 hours ago