Feed Advanced Search

Advanced Search
Use Results
Edit Query
Hide Query

Dec 1 2021

• abgruszecki committed R9452:82a0cf06060d: Tweak the notebook (authored by • abgruszecki).

Tweak the notebook

Dec 1 2021, 11:11

• abgruszecki committed R9452:e618b5b97f63: Fix escaping in README (authored by • abgruszecki).

Fix escaping in README

Dec 1 2021, 09:30

Nov 30 2021

• abgruszecki committed R9452:a08ac82a3150: Tweak the notebook further (authored by • abgruszecki).

Tweak the notebook further

Nov 30 2021, 20:14

Nov 29 2021

• abgruszecki committed R9452:f44ede4bf23d: Update the Coq workshop for 2021 (authored by • abgruszecki).

Update the Coq workshop for 2021

Nov 29 2021, 19:51

Nov 17 2020

• abgruszecki committed R9452:b3826dceb699: Fix the definition of value (authored by • abgruszecki).

Fix the definition of value

Nov 17 2020, 21:46

• abgruszecki committed R9452:82508ce68c46: Adjust advanced Coq notebook (authored by • abgruszecki).

Adjust advanced Coq notebook

Nov 17 2020, 19:16

Nov 10 2020

• abgruszecki committed R9452:5bb567ac194a: Include 'Coq for POPL folk' as a notebook (authored by • abgruszecki).

Include 'Coq for POPL folk' as a notebook

Nov 10 2020, 16:22

GitHub <noreply@github.com> committed R9452:dd6f828f3525: Merge pull request #3 from lampepfl/improve-2020 (authored by • abgruszecki).

Merge pull request #3 from lampepfl/improve-2020

Nov 10 2020, 16:17

• abgruszecki committed R9452:94fca067c934: Adjust README.md (authored by • abgruszecki).

Adjust README.md

Nov 10 2020, 16:17