software_foundations
by marshall-lee
My solutions to Software Foundations course in Coq proof assistant.
AI summary
Exercise repository
A collection of Coq proof solutions to Software Foundations course exercises
- stars
- 33
- forks
- 16
- watching
- 3
Similar projects
Found by comparing what the projects do, not just their names.
Proof assistant
Coq proof assistant book with exercises and examples
Coq tutorials
Tutorials and materials for teaching Coq-based mathematical component development
coq/platform191
Proof assistant distribution
A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Coq editor
An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant
Coq IDE
A tool for interactive theorem proving and language support in Coq
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
Theorem repository
Repository tracking famous theorems proved using proof assistants.
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
Analysis library
A Coq proof-assistant library for real analysis and mathematical structures
Code tester
Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications.
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
