🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Feeds to Scour
SubscribedAll
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·2d
⚔️Lean Tactics
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·1d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
The evolution of an extension language: a history of Lua
lua.org·1h
🔄Language Evolution
Preview
Report Post
From Zero to QED: An informal introduction to formality with Lean 4
sdiehl.github.io·20h·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·20h·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
Advent of Swift
leahneukirchen.org·3h
🔗Lisp
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·2d
⚔️Lean Tactics
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·5d
🧮Theorem Proving
Preview
Report Post
Free Go Course: 10 Modules, 30 Lessons, + Online Compiler
reddit.com·7h·
Discuss: r/golang
🦀Rust Macros
Preview
Report Post
Yale Shooting Problem
en.wikipedia.org·20h·
Discuss: Hacker News
🔬Logic in Computer Science
Preview
Report Post
New AI-powered tool helps students find creative solutions to complex math proofs
phys.org·2d
✓Automated Theorem Proving
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·1d
📋Formal Verification
Preview
Report Post
An Intro to Large Language Models and the Transformer Architecture: Talking to a calculator
dev.to·12h·
Discuss: DEV
💻Local LLMs
Preview
Report Post
String Theory Inspires a Brilliant, Baffling New Math Proof
quantamagazine.org·2d
📐Mathematical Art
Preview
Report Post
Formal Axiomatization of Advaita Vedanta in Lean 4
github.com·1d·
Discuss: Hacker News
⚔️Lean Theorem
Preview
Report Post
The Problem With Grothendieck’s Use Of Equality
hackernoon.com·4d
🔲Proof Irrelevance
Preview
Report Post
IsEven(int32_t) in O(1)
ceayo.neocities.org·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Preview
Report Post
Type Stripping with Zero Dependencies
termer.net·1d·
Discuss: Hacker News
🎯Gradual Typing
Preview
Report Post
How Geometry Is Fundamental for Chess
lichess.org·2d·
Discuss: Hacker News
📐Mathematical Art
Preview
Report Post
Certifying Concavity and Monotonicity in Games via Sum-of-Squares Hierarchies
arxiv.org·2d
🎯Performance Proofs
Preview
Report Post