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 a lot of > "Converting typeset mathematics into Haskell" going on.
For completeness I want to add a pointer to other projects supporting the "semantic math web": http://kwarc.info/kohlhase/research.html _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
