People abgruszecki

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 (21 w, 5 d)
Availability: Available

Recent Activity
View All

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