Hi @DonCorleone, is this a homework question? We do not permit this forum to be used for simply exchanging homework solutions, although if you have specific questions about something you do not understand in OCaml or formal verification, you are free to ask those.
bcc32
2
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| About formal verification | 8 | 3841 | August 1, 2018 | |
| Coq-of-ocaml to translate OCaml to Coq | 2 | 2043 | August 14, 2021 | |
| Lagrange (Help please) | 1 | 514 | May 9, 2022 | |
| Magmide & long-term plan about OCaml? | 4 | 974 | May 30, 2022 | |
| How to exit from calculation in OCaml? | 13 | 2358 | June 3, 2022 |