Etat De L'Art . . . a site about Automated Theorem Proving
edla etat art theorem automated site proving colorpalette background color border mainmenu sitesubtitle font sitetitle padding resources rss defaulttiddlers markupprehead viewtemplate edittemplate gettingstarted optionspanel stylesheetcolors pagetemplate stylesheetlayout importtiddlers stylesheetlocale stylesheetprint margin size solid viewer foreground left display class=
Edla.org ~