Enriching Propositions
Looking through the material, I am interested in a situation where I have a set of propositions where they themselves are enriched. Can propositions be more dynamic? Can I used declared expressions to get propositions to have changes within their own characteristics so that I can model strategies against those characteristics? For example quantity remaining?
**Moderation Team has archived post**
This post has been archived for educational purposes. Contents and links will no longer be updated. If you have the same/similar question, please write a new post.