Index of /pypi/web/packages/93/a5/ba95caaa246535280aa8488c322a5ac4b3be09ea5291a22d115d900b1d7f/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2026-08-20 09:51:16
📄 logic_prover-0.1.5-cp313-cp313-macosx_11_0_arm64.whl	1533154 bytes	2026-08-20 09:51:20