This package aims to include functions that manipulate mathematical logic.
Julia Packages
This website serves as a package browsing tool for the Julia programming language. It works by aggregating various sources on Github to help you find your next package.