Ondokuz / mona

theorem prover based on automata

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

Diğer Pardus sürümlerindeki versiyonlar