Live and recent posts from across the Fediverse tagged #mathlib4, aggregated by home.social.
#mathlib4
Lean Theorem Prover Mathlib
https://github.com/leanprover-community/mathlib4
#HackerNews #Lean #Theorem #Prover #Mathlib #mathlib4 #LeanProver #theoremProving #functionalProgramming