Content deleted Content added
No edit summary |
|||
Line 1:
{{about|the management tool|the automated theorem proving approach|logical framework}}
{{copy edit|date=October 2013}}
The '''
==Background==
|
No edit summary |
|||
Line 1:
{{about|the management tool|the automated theorem proving approach|logical framework}}
{{copy edit|date=October 2013}}
The '''
==Background==
|