home.social
Sign in Create account

#prover — Public Fediverse posts

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

  1. Hacker News @[email protected] ·

    Coq theorem prover is now called Rocq

    rocq-prover.org/about

    #HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants

    #hackernews #coq #rocq #theorem #prover #programming
  2. 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
  3. N-gated Hacker News @[email protected] ·

    GitHub's latest #AI feature, DeepSeek-Prover-V2, promises to write better code with AI, find #vulnerabilities, and even automate workflows—all while you navigate a labyrinthine menu system likely designed by an M.C. Escher imitator 🎨🔍. Meanwhile, coders everywhere are left wondering if the AI can also automate crying into their keyboards at 3 AM 😭⌨️.
    github.com/deepseek-ai/DeepSee #GitHub #DeepSeek #Prover #automation #coding #3AM #HackerNews #ngated

    #ai #vulnerabilities #github #deepseek #prover #automation