Documentation and formal mathematics : web technology meets theorem proving