PyRank

Proof Assistants Python Packages

Python packages with the GitHub topic proof-assistants. Sorted by relevance, with stars and monthly downloads.
daviddoret
punctilious

A human-friendly and developer-friendly math proof assistant

164 3 0
sushaan-k
leancode

Formally verified AI code generation pipeline with proof assistants

126 0 0