TODO
[ ] Binary commute (chapter 2)
[ ] Formal vs. informal proof (chapter 2)
| Section Title | Coq File | Status |
|---|---|---|
| Basics | Basics.v | Solved |
| Induction | Induction.v | Solved |
| Lists | Lists.v | Solved |
| Poly | Poly.v | In progress |
-
Notifications
You must be signed in to change notification settings - Fork 0
wrongbyte/software-foundations
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
✨ software foundations study repository and bad notes
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published