Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
Some third-party Mac apps I use
lapcatsoftware.comΒ·10h
Beyond accelerators: Lessons from building foundation models on AWS with Japanβs GENIAC program
aws.amazon.comΒ·7h
Loading...Loading more...