Open main menu
Home
Random
Log in
Settings
About GM-RKB
Disclaimers
GM-RKB
Search
Software Proposition Statement
Language
Watch
Edit
A
Software Proposition Statement
is a
software statement
that is a
proposition statement
.
See:
Software Assertion
,
Mathematical Lemma
.