axiomata/README.md,sha256=-nm967m40XbeTjOdht68lP4tmt84hBBg3ELo0JZVE2s,5648
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/sort.py,sha256=-Mb3ZyxGkzeyXRUeek0K7rW4zCrloKhSpVHeD35-KUY,5078
axiomata-0.3.0.dist-info/METADATA,sha256=zM3v03NF0eALHXvjuQyoFVit_Nsjudvm2Y3blU_bBw4,2372
axiomata-0.3.0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
axiomata-0.3.0.dist-info/licenses/LICENSE,sha256=UN_Xl2TvEjj0i0nm_E5SH_WmPLsrjrkJHWSFk2lNAz4,1067
axiomata-0.3.0.dist-info/RECORD,,
