Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
2011 N1 = 2024 A2
blog.evanchen.cc·1d
How to run an LLM on your laptop
technologyreview.com·20h
Loading...Loading more...
Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning