Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.orgยท1d
Historical highlights?
logicmatters.netยท8h
Book Notes: The Dark Art of Linear Algebra by Seth Braver โ Chapter 1 Review
ruslanspivak.comยท5h
Cactus Language โข Stylistics 4
inquiryintoinquiry.comยท4h
A Rust shaped hole
ente.ioยท1d
What can we expect of LLMs as Software Engineers?
chelseatroy.comยท23h
News for June 2025
ptreview.sublinear.infoยท1d
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.comยท2h
My Experience with the Scott Logic Graduate Training
blog.scottlogic.comยท20h
Extensions and Shadows (6)
sites.psu.eduยท1d
Loading...Loading more...