Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
Coping with Complexity
slott56.github.io·1d
Week 25 – 2025
thisweekin4n6.com·9h
Useful LLM Agent Tools
tersesystems.com·19h
A very short book note
logicmatters.net·2d
Loading...Loading more...