https://github.com/wrongbyte/software-foundations

:sparkles: software foundations study repository and bad notes
https://github.com/wrongbyte/software-foundations

Last synced: about 1 month ago
JSON representation

:sparkles: software foundations study repository and bad notes

• Host: GitHub
• URL: https://github.com/wrongbyte/software-foundations
• Owner: wrongbyte
• Created: 2022-05-19T10:58:47.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2022-12-02T00:42:16.000Z (almost 2 years ago)
• Last Synced: 2023-03-04T16:02:07.663Z (over 1 year ago)
• Language: Coq
• Homepage:
• Size: 279 KB
• Stars: 3
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
[Software Foundations book](https://softwarefoundations.cis.upenn.edu/)

**TODO**

[ ] Binary commute (chapter 2)

[ ] Formal vs. informal proof (chapter 2)

## Table of solutions

| Section Title   | Coq File                           | Status    |

|-----------------|------------------------------------|:---------:|

| Basics          | [Basics.v](./lf/Basics.v)        | Solved    |

| Induction       | [Induction.v](./lf/Induction.v)  | Solved    |

| Lists           | [Lists.v](./lf/Lists.v)          | Solved    |

| Poly            | [Poly.v](./lf/Poly.v)            | In progress    |