https://pypi.org/project/hylogic/ Recent updates to the Python Package Index for hylogic en https://pypi.org/project/hylogic/1.5.1/ Propositional and first-order logic in Hy: truth tables, arguments, models and a resolution prover elonmedia@gmail.com Sat, 17 Oct 2026 08:40:51 GMT https://pypi.org/project/hylogic/1.5.0/ Propositional and first-order logic in Hy: truth tables, arguments, models and a resolution prover elonmedia@gmail.com Sat, 17 Oct 2026 02:36:22 GMT https://pypi.org/project/hylogic/1.4.0/ Propositional and first-order logic in Hy: truth tables, arguments, models and a resolution prover elonmedia@gmail.com Fri, 16 Oct 2026 18:52:04 GMT https://pypi.org/project/hylogic/1.3.0/ Propositional and first-order logic in Hy: truth tables, arguments, models and a resolution prover elonmedia@gmail.com Fri, 16 Oct 2026 16:05:45 GMT https://pypi.org/project/hylogic/1.2.0/ Propositional and first-order logic in Hy: truth tables, arguments, models and a resolution prover elonmedia@gmail.com Fri, 16 Oct 2026 11:44:35 GMT https://pypi.org/project/hylogic/1.1.0/ Propositional and first-order logic in Hy: truth tables, arguments, models and a resolution prover elonmedia@gmail.com Fri, 16 Oct 2026 06:40:04 GMT https://pypi.org/project/hylogic/1.0.0/ Propositional and first-order logic in Hy: truth tables, arguments, models and a resolution prover elonmedia@gmail.com Thu, 15 Oct 2026 08:28:18 GMT