vlopezj coq-course issues - Githubissues

vlopezj / coq-course

Coq course at Chalmers CSE

37 stars 10 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add myself to list of participants

#16 joaopizani closed 7 years ago
3
Late to the party

#15 simhu closed 7 years ago
2
More detailed topic policy

#14 vlopezj closed 7 years ago
1
Migrate repo to organization

#13 vlopezj closed 7 years ago
2
WIP Syllabus

#12 marco-vassena opened 7 years ago
17
Private repository for exercises

#11 vlopezj closed 7 years ago
3
Update README.md

#10 marco-vassena closed 7 years ago
0
Contents session 1

#9 bafain closed 7 years ago
5
Update session01.md

#8 bafain closed 7 years ago
2
Date for first meeting

#7 vlopezj closed 7 years ago
1
Update README.md

#6 simonr89 closed 7 years ago
0
Add me (Andreas Lööw) to list of participants

#5 AndreasLoow closed 7 years ago
0
Update README.md

#4 emptylambda closed 7 years ago
0
Participant added.

#3 Airini closed 7 years ago
0
Added myself as a participant

#2 dschoepe closed 7 years ago
0
Course in LP3 instead

#1 daherb closed 7 years ago
0