-
Formalizing CS Foundations
Including computational models and complexity analysis tools. -
Reasoning about Code
Builds on the rich tradition of deductive verification techniques. -
Repository of Verified Code
Cover all algorithms and data structures that a typical CS undergraduate encounter. -
AI Integration
Training datasets and AI-assisted contribution tools
Sponsors and Partners
