Skip to content

De-emphasize Lean 3 in the README. #1973

De-emphasize Lean 3 in the README.

De-emphasize Lean 3 in the README. #1973