Homec4science

Adjust advanced Coq notebook

Authored by abgruszecki on Tue, Nov 17, 19:16.

Description

Adjust advanced Coq notebook

Details

Committed
abgruszeckiTue, Nov 17, 19:16
Pushed
abgruszeckiTue, Nov 17, 19:16
Parents
R9452:6094ee76a6dd: Merge pull request #4 from lampepfl/rewrite-coq-intro
Branches
Unknown
Tags
Unknown