axiomata/README.md,sha256=TyR3NRewNiDtZ5jc2aoS4fOQxcy_EY2HGvVVUXEfDzo,3628
axiomata/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
axiomata/checks.py,sha256=1qOVMeuSJ5B9Z61JCBr1i5OwzQigFxdNneWhjFAkMnE,1271
axiomata/induction.py,sha256=m5cgi9gLtOiV7Emu2xsoiWpf0jjodsY49EKsOcqzzZ0,2156
axiomata/master_theorem.py,sha256=EyXO7pbpmgGCAaIVUEvArVXkdfq6POY-Wk5d_8zidhs,2842
axiomata-0.2.0.dist-info/METADATA,sha256=Qf5FoJg0YzynXkgoI6klSQtOYKp35xM4Eiy073Bfq68,2183
axiomata-0.2.0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
axiomata-0.2.0.dist-info/licenses/LICENSE,sha256=UN_Xl2TvEjj0i0nm_E5SH_WmPLsrjrkJHWSFk2lNAz4,1067
axiomata-0.2.0.dist-info/RECORD,,
