An extensible proof text editor (2000)

Cached

Download Links

by Thomas Hallgren , Aarne Ranta
Venue:In Logic for Programming and Automated Reasoning, volume 1955 of LNCS
Citations:23 - 6 self