progress is creativity.
 |
 |
 |
 |
 |
 |
 |
|
Latest Blog Entries
|
 |
Property/Behavior Rule[Error: Wrong macro arguments: "deformat" for macro 'div' (maybe wrong macro tag syntax?)]ProofThis rule follows from visibility rule. |
|||||||||||||||||||||||||||||||||||||||||||||||||
(c) Mato Nagel, Weißwasser 2004-2024, Disclaimer |
||||||||||||||||||||||||||||||||||||||||||||||||||||