Verifying properties of a financial contract in Elixir (question in a forum)elixirforum.com2 pointstodsacerdoti4 years ago