Yirmibir / mona

theorem prover based on automata

•     Debian Science Maintainers
•     [email protected]
•     http://www.brics.dk/~amoeller/mona/index.html
•     1.4-17-2
•     mona_1.4-17-2_amd64.deb
•     309.8 KiB
•     science
•     amd64
•      mona_1.4-17-2.debian.tar.xz
            mona_1.4-17-2.dsc
            mona_1.4-17.orig.tar.gz
•     Debian Versiyonu: 1.4-17-2
•     theorem prover based on automata

Diğer Pardus sürümlerindeki versiyonlar