Comment on SpecForge – A Platform for Authoring Formal SpecificationsComments−itomato1moWhose formalities? The horse still comes first.
Comments
Whose formalities? The horse still comes first.