gentoo.mahdi.cz
dev-python
:dialectic
Mathematical Logic
https://github.com/virtualchamber/Tingle
dialectic-0.3.2
download
~amd64 ~x86
pypi