Content deleted Content added
Biblioworm (talk | contribs) Reverted edits by SBC_Financial (talk) (HG) |
No edit summary |
||
Line 1:
{{about|the management tool|the automated theorem proving approach|logical framework}}
{{copy edit|date=October 2013}}
The '''
==Background==
|