Issues
- 3
Update which Docker container can be used?
#11 opened by blipp - 0
URL for MSR-Inria centre URL is 404
#12 opened by ergl - 4
Docker image availability
#6 opened by thomasveje - 1
Listing the team
#2 opened by catalin-hritcu - 1
Isn't Lean also a related project?
#1 opened by catalin-hritcu