On 3/27/06, Douglas G. Danforth <danforth at greenwoodfarm.com> wrote: > Now, here is what I would really like to see in a computer language: > Automatic implementation of mathematical theories that I write using a pen. > I assume this is still many decades in the future. This is the closest I've seen: http://www.flypentop.com/ -Jack