Proof Python Packages

pycryptosat

An advanced SAT solver

aurekai

Python bridge for Aurekai, the operating fabric for intelligent work.

mathesis

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

wudder

Wudder's Python SDK

punctilious

A human-friendly and developer-friendly math proof assistant

cotary

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

recursive-sgd

A proof of concept of a recursion doing stochastic gradient descent for a simple neural network. Done in Python3 with numpy