🧮 Theorem Proving - matmat · Scour

dropbox/dMATH: Formal verification and theorem proving tools ⚔️Lean Tactics

github.com·2d·Hacker News·

Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem ⚡Proof Automation

twitter.com·4d·Hacker News·

Why I Built an AI Organisation 🌍Cultural Algorithms

dave-bailey.com·22h·Hacker News·

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified? 🎯Performance Proofs

arxiv.org·2d·

The Greek monk spring playbook to renew healthy eating habits ⛪Byzantine Manuscripts

the-independent.com·2h·

Substantial aircraft contrail formation at low soot emission levels 🌡️Preservation Physics

nature.com·19h·

bqn-smt 🧮SMT Solvers

codeberg.org·1d·Lobsters·

Move Fast, Patch Slower? The Endpoint Management Tradeoff Haunting SaaS Startups 🌊Streaming Systems

hackernoon.com·3d·

Show HN: I built a directory to save local PTs from the "pay-per-lead" trap 🔍BitFunnel

news.ycombinator.com·1d·Hacker News·

Meta Platforms: Lean Into The Fear As P/Cash Drops To 10x (NASDAQ:META) 🔍BitFunnel

seekingalpha.com

·5d·

Lean Stand Fall ⬜Minimalism

johnjohnston.info·5d·

Multi-paradigm Logic Programming in the ${\cal E}$rgoAI System 📏Linear Logic

arxiv.org·1d·

Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions ⚔️Lean Tactics

github.com·2d·Hacker News·

Operational Intelligence: The Real Moat in Venture-Backed Startups 🚀Indie Hacking

hackernoon.com·6d·

WybeCoder: Verified Imperative Code Generation ⚔️Lean Tactics

arxiv.org·1d·

Show HN: Spend weekend Claude tokens making your code bullet-proof with Lean ⚔️Lean Tactics

github.com·3d·Hacker News·

Sal: Multi-modal Verification of Replicated Data Types 🛡️Archive Verification

arxiv.org·2d·

Lean on Vampire Proofs (Short Paper) ⚔️Lean Theorem

arxiv.org·3d·

A formalization of the Gelfond-Schneider theorem ⚔️Lean Theorem

arxiv.org·6d·

On the Formalization of Network Topology Matrices in HOL 🕸️Network Topology

arxiv.org·6d·

Loading more...