Ssreflect Users Discussion List

[Laurent Thery <>]

>>> Error: Unable to locate library all_algebra with prefix mathcomp.
>>
>> Is this some problem with my browser(s) or can this be remedied somehow?
>> Failing that, what other Tutorials would you recommend to introduce
>> people to MathComp?
> 
> I think this is a bug of the slides in that they don't enable the proper
> package, try clicking on math-comp in the package manager (before
> running any command) and that should work.
> 

This should be fixed

--
Laurent