Mathlibtools

Latest version: v1.3.2

Safety actively analyzes 685670 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

Page 2 of 3

* SSH handling tweaks

* Add mk-all command
* Add decls command
* Many small fixes

* Fix a bug and workaround some Windows bug

* Try to download .xz-compressed olean archives

* Add `leanproject get -b` to create a new branch

* Add import-graph command
* Add delete-zombies command

Has known vulnerabilities

Previous Next