Verifying properties of a financial contract in Elixir (question in a forum) | Heykuki News