PyPI Stats

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
ProofFrog
proof-frog

A tool for verifying transitions in cryptographic game-hopping proofs

1K 20 5
hyperpolymath
proven

Code that cannot crash - verified safety functions from Idris 2

78 2 0