formal-methods
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Anyone interested in a BOF Session on formal methods at Elixir Conf this year? | 0 | 535 | August 17, 2022 | |
Verifying properties of a financial contract in Elixir | 5 | 1909 | June 12, 2022 |
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Anyone interested in a BOF Session on formal methods at Elixir Conf this year? | 0 | 535 | August 17, 2022 | |
Verifying properties of a financial contract in Elixir | 5 | 1909 | June 12, 2022 |