cheuktingli/psitip

Python Symbolic Information Theoretic Inequality Prover

语言：Python · GitHub 星标：48 · Fork：7

话题：first-order-logic · information-theory · optimization · prover · python · theorem-prover · theorem-proving

在 GitHub 上查看原仓库