[isabelle-dev] Primzahlen in Isabelle
Steven Obua
obua at in.tum.de
Sat Dec 1 18:58:29 CET 2007
Amine Chaieb wrote:
>LCF? are you kidding?
>
>
So how did you do it then ? How long did the check run? Where can I find
the sources?
Steven
More information about the isabelle-dev
mailing list