User Details
User Details
- User Since
- Nov 10 2020, 15:39 (21 w, 5 d)
- Availability
- Available
Nov 17 2020
Nov 17 2020
• abgruszecki committed R9452:b3826dceb699: Fix the definition of value (authored by • abgruszecki).
Fix the definition of value
• abgruszecki committed R9452:82508ce68c46: Adjust advanced Coq notebook (authored by • abgruszecki).
Adjust advanced Coq notebook
Nov 10 2020
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
GitHub <noreply@github.com> committed
Merge pull request #3 from lampepfl/improve-2020
Adjust README.md