Hacker News @h4ckernews@mastodon.social · activity timestamp 2 weeks ago Lean Theorem Prover Mathlibhttps://github.com/leanprover-community/mathlib4 #HackerNews #Lean #Theorem #Prover #Mathlib #mathlib4 #LeanProver #theoremProving #functionalProgramming Read more Read less Translate Reply Boost Quote You cannot quote this post Like More actions Copy link Flag this post Block
