Re: [math-fun] Mathematics as Hypertext ... and a Logic Assistant