PyPI Stats

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
msoos
pycryptosat

An advanced SAT solver

45K 929 199
digitalformallogic
mathesis

Python library for computational formal logic, formal semantics, and theorem proving

605 32 5
wuddertech
wudder

Wudder's Python SDK

510 5 0
daviddoret
punctilious

A human-friendly and developer-friendly math proof assistant

305 3 0
wchresta
cotary

Cotary allows you to prove that you have a document without releasing it.

122 1 0
InCogNiTo124
recursive-sgd

Train a neural network - with recursion!

120 1 0