Subject: Re: Frogs and Pigeons
Newsgroups: gmane.science.mathematics.frogs
Date: 2007-03-08 10:41:30 GMT (1 year, 8 weeks, 6 days, 23 hours and 52 minutes ago)
Dear Giorgi, for the cut-free system this is an open problem, as far as I know. Alessio: we could list that on http://alessio.guglielmi.name/res/cos/crt.html#ComplPrPr . -Kai