🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧮 Theorem Proving

Automated Reasoning, SMT Solvers, Logic Programming, Isabelle

Understanding Tool-Integrated Reasoning
arxiv.org·3h
🔗Constraint Handling
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·6h·
Discuss: Hacker News
👑Isabelle
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·19h
✅Format Verification
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·18h·
Discuss: DEV
🔒WASM Capabilities
Making MCP Tool Use Feel Natural with Context-Aware Tools
ragie.ai·13h·
Discuss: Hacker News
🔗Constraint Handling
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs
Dependent types I › Universes, or types of types
jonmsterling.com·1h·
Discuss: Hacker News
🔤Type Theory
Is Math Discovered or Invented?
curtispoe.org·1d
🔲Proof Irrelevance
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Demystifying Scientific Problem-Solving in LLMs by Probing Knowledge and Reasoning
arxiv.org·3h
🧠Computational Logic
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Paradigms of Intelligence Team
github.com·18h·
Discuss: Hacker News
🔲Cellular Automata
Implementing Forth in Go and C
eli.thegreenplace.net·4h·
Discuss: Hacker News
🔗Concatenative Programming
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·16h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·15h
⬆️Lambda Lifting
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·12h·
Discuss: Hacker News
🧮Algebraic Datatypes
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·18h·
Discuss: Hacker News
⚔️Lean Tactics
Loading...Loading more...
AboutBlogChangelogRoadmap