[Haskell-cafe] Re: Converting typeset mathematics into Haskell ?

Henning Thielemann schlepptop at henning-thielemann.de
Tue Aug 25 11:21:56 EDT 2009


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



More information about the Haskell-Cafe mailing list