Page MenuHomec4science

abgruszecki (Aleksander Boruch-Gruszecki)Email Not Verified
User

Projects

User does not belong to any projects.

Repositories

User does not have any repository.

User Details

User Since
Nov 10 2020, 15:39 (85 w, 2 d)
Availability
Available

Recent Activity

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