TLA+, Model Checking, Coq, Theorem Proving, Specification Languages
Reverse engineering some updates to Claude
simonwillison.net·8h
Why I’m not letting the juniors use GenAI for coding
lukeplant.me.uk·5d
Loading...Loading more...
TLA+, Model Checking, Coq, Theorem Proving, Specification Languages