Diffusion coq-project 5bb567ac194a

Include 'Coq for POPL folk' as a notebook
5bb567ac194a
Actions

Authored by • abgruszecki on Nov 8 2020, 16:13.

Tags

None

Subscribers

None

Description

Include 'Coq for POPL folk' as a notebook

Details

Committed

• abgruszecki

Nov 9 2020, 10:47

Pushed

• abgruszecki	Nov 17 2020, 19:16
• abgruszecki	Nov 10 2020, 16:17

Parents

R9452:dd6f828f3525: Merge pull request #3 from lampepfl/improve-2020

Branches

Unknown

Tags

Unknown

Event Timeline

• abgruszecki committed R9452:5bb567ac194a: Include 'Coq for POPL folk' as a notebook (authored by • abgruszecki).Nov 9 2020, 10:47

Changes (3)

				Path
	A			advanced.ipynb
	A			advanced.md
	A			build-advanced.sh

R9452:5bb567ac194a

advanced.ipynb

Loading...

advanced.md

Loading...

build-advanced.sh

Loading...