sawine@75: My advisor during my bachelor thesis and creator of the brainiac theorem prover called
sawine@75: E.
sawine@75:
sawine@73:
sawine@73:
sawine@73:
Recursive
sawine@73:
sawine@73:
sawine@73: The End.
sawine@73: Recursive humour recycled from Stephan Schulz, to preserve the environment.
sawine@73:
sawine@73:
sawine@73:
sawine@73:
sawine@73:
sawine@74:
sawine@80:
sawine@80: I'm a programmer,
sawine@73: a student of computer science,
sawine@73: a music enthusiast.
sawine@73: This is my site.
sawine@73: