home.social

#mathproofs — Public Fediverse posts

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

  1. Hacker News @[email protected] ·

    Fermat's Last Theorem in Lean 4

    github.com/anthropics/fermats-

    Comments: news.ycombinator.com/item?id=4

    #HackerNews #FermatsLastTheorem #Lean4 #MathProofs #Programming #Language #Logic

    #hackernews #fermatslasttheorem #lean4 #mathproofs #programming #language
  2. Hacker News @[email protected] ·

    Formalizing Fermat's Last Theorem

    anthropic.com/research/formali

    Comments: news.ycombinator.com/item?id=4

    #HackerNews #FermatsLastTheorem #MathProofs #TheoremFormalization #Mathematics #Research #Anthropic

    #hackernews #fermatslasttheorem #mathproofs #theoremformalization #mathematics #research