Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification
Fast and Simple Rust Interner
matklad.github.ioยท3h
Issue 481
haskellweekly.newsยท23h
Claude Code on Amazon Bedrock - Anthropic
docs.anthropic.comยท6h
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.orgยท3d
Information modeling example: Call sheet
disruptivearchitecture.infoยท4h
Loading...Loading more...