Merge pull request #4 from lampepfl/rewrite-coq-intro
Add an advanced Coq tutorial
Description
Description
Details
Details
- Committed
GitHub <noreply@github.com> Nov 10 2020, 15:24 - Pushed
• abgruszecki Nov 17 2020, 19:16 • abgruszecki Nov 10 2020, 16:17 - Parents
- R9452:94fca067c934: Adjust README.md
R9452:dd6f828f3525: Merge pull request #3 from lampepfl/improve-2020 - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
| Commit | Author | Details | Committed | |||
|---|---|---|---|---|---|---|
| 94fca067c934 | • abgruszecki | Adjust README.md | Nov 9 2020 | |||
| 5bb567ac194a | • abgruszecki | Include 'Coq for POPL folk' as a notebook | Nov 9 2020 |