Yirmiuc / mona

theorem prover based on automata

•     Debian Science Maintainers
•     debian-science-maintainers@lists.alioth.debian.org
•     https://www.brics.dk/mona/
•     1.4-18-1+b1
•     mona_1.4-18-1+b1_amd64.deb
•     317.1 KiB
•     science
•     amd64
•      mona_1.4-18-1.debian.tar.xz
            mona_1.4-18-1.dsc
            mona_1.4-18.orig.tar.gz
•     Debian Versiyonu: 1.4-18-1+b1
•     theorem prover based on automata

Diğer Pardus sürümlerindeki versiyonlar