Lean Theorem Prover Mathlib

via github.com

Short excerpt below. Read at the original source.

Article URL: https://github.com/leanprover-community/mathlib4 Comments URL: https://news.ycombinator.com/item?id=46260128 Points: 7 # Comments: 0

Read at Source