Lean (programming language)

1. REDIRECT Lean (proof assistant)

{{R from alternative name}}