Homec4science

Merge pull request #4 from lampepfl/rewrite-coq-intro

Authored by liuf on Tue, Nov 10, 15:24.

Description

Merge pull request #4 from lampepfl/rewrite-coq-intro

Add an advanced Coq tutorial

Details

Committed
GitHub <noreply@github.com>Tue, Nov 10, 15:24
Pushed
abgruszeckiTue, Nov 17, 19:16
abgruszeckiTue, Nov 10, 16:17
Parents
R9452:94fca067c934: Adjust README.md
R9452:dd6f828f3525: Merge pull request #3 from lampepfl/improve-2020
Branches
Unknown
Tags
Unknown

Merged Changes

CommitAuthorDetailsCommitted
94fca067c934 abgruszecki
Adjust README.md 
Nov 9
5bb567ac194a abgruszecki
Include 'Coq for POPL folk' as a notebook 
Nov 9