home.social

#formalproof — Public Fediverse posts

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

  1. Nicolas Fränkel 🇪🇺🇺🇦🇬🇪 @[email protected] ·

    #Leanstral: #OpenSource foundation for trustworthy #vibecoding

    mistral.ai/news/leanstral

    #MistralAI #formalproof

    #leanstral #opensource #vibecoding #mistralai #formalproof
  2. Hacker News @[email protected] ·

    A Formal Proof of Complexity Bounds on Diophantine Equations

    arxiv.org/abs/2505.16963

    #HackerNews #FormalProof #ComplexityBounds #DiophantineEquations #MathResearch #arXiv

    #hackernews #formalproof #complexitybounds #diophantineequations #mathresearch #arxiv
  3. Hacker News @[email protected] ·

    A Formal Proof of Complexity Bounds on Diophantine Equations

    arxiv.org/abs/2505.16963

    #HackerNews #FormalProof #ComplexityBounds #DiophantineEquations #MathResearch #arXiv

    #hackernews #formalproof #complexitybounds #diophantineequations #mathresearch #arxiv
  4. Hacker News @[email protected] ·

    A Formal Proof of Complexity Bounds on Diophantine Equations

    arxiv.org/abs/2505.16963

    #HackerNews #FormalProof #ComplexityBounds #DiophantineEquations #MathResearch #arXiv

    #arxiv #mathresearch #diophantineequations #complexitybounds #formalproof #hackernews
  5. Hacker News @[email protected] ·

    A Formal Proof of Complexity Bounds on Diophantine Equations

    arxiv.org/abs/2505.16963

    #HackerNews #FormalProof #ComplexityBounds #DiophantineEquations #MathResearch #arXiv

    #hackernews #formalproof #complexitybounds #diophantineequations #mathresearch #arxiv
  6. Brendan Hayward @bmjhayward ·

    The man is using
    youtube.com/watch?v=cyyR7j2ChC

    #lean #terrytao #mathematics #formalproof