[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: ITP: mona



On Thursday 29 June 2000, at 3 h 28, the keyboard of Ralf Treinen 
<treinen@club-internet.fr> wrote:

> ITP: mona, a theorem prover for the logics ws1s and ws2s (tree automata).
> See http://www.brics.dk/mona/. The program is GPL but the documentation

Note there is an unofficial package of bigwig, which includes mona.

APT source:

deb ftp://ftp.internatif.org/pub/debian/UNOFFICIAL/ ./

and request "bigwig".





Reply to: