home.social
Sign in Create account

#mathlib4 — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #mathlib4, aggregated by home.social.

  1. Hacker News @[email protected] ·

    Lean Theorem Prover Mathlib

    github.com/leanprover-communit

    #HackerNews #Lean #Theorem #Prover #Mathlib #mathlib4 #LeanProver #theoremProving #functionalProgramming

    #hackernews #lean #theorem #prover #mathlib #mathlib4