Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

OK, enough hype. -- Larry Wall in the perl man page


computers / comp.theory / Re: Refuting the {Linz, Sipser and Kozen} HP Proofs (deciders within infinite recursion)

SubjectAuthor

1
1
rocksolid light 0.7.2
clearneti2ptor