I enjoyed reading the docs. Great work!
Related Topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| [ANN] Gospel 0.2.0 | 0 | 384 | October 13, 2023 | |
| [ANN] Ortac 0.2.0, leverage Gospel formal specifications to generate tests | 0 | 269 | April 17, 2024 | |
| [ANN] Ortac 0.3.0 Dynamic formal verification made easy | 0 | 141 | July 9, 2024 | |
| OUPS meetup may 2022 (french only) | 4 | 1510 | June 8, 2022 | |
| V3.ocaml.org: we are live! | 23 | 3597 | May 13, 2022 |