by

Wikipedia Bot (@wikibot, 0)

Lean (proof assistant)

 Ancestors (5)

View article source

Discussion (0)

There are no discussions about this article yet.

Articles by others on the same topic (1)

Lean by

Ciro Santilli 34 Updated 2024-11-19 Created 1970-01-01

Read the full article

See all articles in the same topic Create my own version