Talk:General description of Twelf

Kepler conjecture link is broken and the Economist article is available to subscribers only... Andrew Grey

Thanks for leaving a note. I fixed the Kepler conjecture link, at least, it's too bad the Economist locks up their archives... — Rob (and his talk) 11:00, 5 August 2010 (EDT)