Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification
Useful LLM Agent Tools
tersesystems.com·8h
Coping with Complexity
slott56.github.io·23h
Sakana AI's ALE AI agent cracks the top 21 among 1,000 code experts
the-decoder.com·1d
The Little Learner and hotel room hacking
dustycloud.org·1d
A very short book note
logicmatters.net·1d
Microcontrollers: Getting Started
youtube.com·1d
Loading...Loading more...