intermediate 7 hr 10 lessons
Intermediate Coq
Level up your Coq. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Taught by The StretchCode Faculty
What you'll learn
- Write idiomatic Coq
- Structure larger Coq projects
- Apply common patterns effectively
- Debug and reason about Coq programs
Curriculum
Design
1Objects and Classes
2Design Patterns
Quality
1Error Handling
2Testing
3Debugging
Real Project
1Build the Core
2Deploy