Diffusion coq-project 82508ce68c46

Adjust advanced Coq notebook
82508ce68c46
Actions

Authored by • abgruszecki on Nov 17 2020, 19:16.

Tags

None

Subscribers

None

Description

Adjust advanced Coq notebook

Details

Committed

• abgruszecki

Nov 17 2020, 19:16

Pushed

• abgruszecki

Nov 17 2020, 19:16

Parents

R9452:6094ee76a6dd: Merge pull request #4 from lampepfl/rewrite-coq-intro

Branches

Unknown

Tags

Unknown

Event Timeline

• abgruszecki committed R9452:82508ce68c46: Adjust advanced Coq notebook (authored by • abgruszecki).Nov 17 2020, 19:16

Changes (5)

				Path
	P			advanced.ipynb Copied to advanced_full.ipynb
	P			advanced.md Copied to advanced_full.md
	P			advanced_full.ipynb Copied from advanced.ipynb
	P			advanced_full.md Copied from advanced.md
	M			build-advanced.sh

R9452:82508ce68c46

advanced.ipynb

Loading...

advanced.md

Loading...

advanced_full.ipynb

Loading...

advanced_full.md

Loading...

build-advanced.sh

Loading...