Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics
Binary Search in Haskell and Rust
mmhaskell.com·1d
What Is Type Inference? What It Is and How It Works
hackernoon.com·2d
Proof Complexity 2025
cstheory-events.org·1d
AI could be about to completely change the way we do mathematics
newscientist.com·1d
Superimposed codes, take two
blog.sesse.net·6h
Happy Birthday Saharon Shelah and Yuri Gurevich!
gilkalai.wordpress.com·1d
Interleaving Logic and Counting
arxiv.org·22h
Why I Am Stupid
aartaka.me·11h
How to Count n-Ary Trees
golem.ph.utexas.edu·1d
“No cookbook methods”
reprog.wordpress.com·1d
Loading...Loading more...