Bernd Brassel schrieb:
Sometimes the synchronicity of events is eery. Incidentally I have just
written a proposal for just such a project.
You can have a look at it at
http://www-ps.informatik.uni-kiel.de/~bbr/WebOfProofs.html
Although not directly mentioned in the proposal, there will be
Sometimes the synchronicity of events is eery. Incidentally I have
just written a proposal for just such a project.
You can have a look at it at
http://www-ps.informatik.uni-kiel.de/~bbr/WebOfProofs.html
Although not directly mentioned in the proposal, there will be a lot
of Converting
