Packages

New/Updated
All packages (~100KB)
Categories

Categories

Mirrors

Groupe Bull

mona

A theorem prover based on automata

Downloaded from:	ftp://ftp.linux.ucla.edu/debian/pool/main/m/mona/
Last update:	2002/04/09

AIX	Version	Binary	Source
4.1	1.4	[Download] (682.1 KB)	[Download] (1.4 MB)
4.2	1.4	[Download] (710.7 KB)	[Download] (1.4 MB)
4.3	1.4	[Download] (681.3 KB)	[Download] (1.4 MB)
5.1	1.4	[Download] (644.5 KB)	[Download] (1.6 MB)

Please note that some browsers download the files as uncompressed tar archives

Problems downloading? Please read the FAQ