Home New Libraries

Formal Library Checker

This is the formal library checker for Singular. Just upload your library file and check your code.
You will receive an output of hints, warnings and/or errors, which help you to improve your library.