Nemo 0.16.0 released
13 Dec 2019Many fixes to make Nemo more consistent to support the Oscar 0.1.0 release.
The OSCAR project
The OSCAR project
Many fixes to make Nemo more consistent to support the Oscar 0.1.0 release.