"Robert Bralic" <ro***********@ si.htnet.hr> wrote in message
news:ce******** **@ls219.htnet. hr...
CAN anybody tell me any address where I can download some
small(1000-2000) lines C++ proghram source.
Or send me ,a small(1000-2000) lines C++ program source that I can
compille with gpp under Linux Suse 7.1.
I can't belive that C++ exists.
I'm working on a proof that C++ exists, but so far it does not include
namespaces, multiple inheritance or partial ordering of function
templates. I'll let you know when it is finished.
For now, I have managed to prove that the basic "Hello, World!"
program exists (see Fig 1., below), so feel free to use it. It is just
a sketch, but you should be able to fill in the missing pieces.
Jonathan
----
Figure 1. A Hello World Program
[ preprocessor directives shown to exist in Lemma 5.13]
int main()
{
[ Result of substituting "Hello World!" for alpha in
Corollary 6.8 ]
} [ newline character (See Theorems 5.1-7) ]