Diffusion coq-project 94fca067c934

Adjust README.md
94fca067c934
Actions

Authored by • abgruszecki on Nov 9 2020, 10:48.

Tags

None

Subscribers

None

Description

Adjust README.md

Details

Committed

• abgruszecki

Nov 9 2020, 10:48

Pushed

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

Parents

R9452:5bb567ac194a: Include 'Coq for POPL folk' as a notebook

Branches

Unknown

Tags

Unknown

Event Timeline

• abgruszecki committed R9452:94fca067c934: Adjust README.md (authored by • abgruszecki).Nov 9 2020, 10:48

Changes (1)

				Path
	M			README.md

R9452:94fca067c934

README.md

Loading...