3.8.8 Formal Checker

There is a formal library checker for SINGULAR which can be used online: see https://www.singular.uni-kl.de/index.php/new-libraries/formal-library-checker.html.

After uploading your library file, you will receive an output of hints, warnings, and errors which may help you to improve your library.