From 36af3a88e270d72c053b56a8ecad6cf1c5bad642 Mon Sep 17 00:00:00 2001 From: Janggun Lee Date: Thu, 5 Sep 2024 15:14:09 +0900 Subject: [PATCH] Fix broken links --- assets/why3/assignment05/README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/assets/why3/assignment05/README.md b/assets/why3/assignment05/README.md index 77a4db3..7d9e695 100644 --- a/assets/why3/assignment05/README.md +++ b/assets/why3/assignment05/README.md @@ -6,12 +6,12 @@ * You will get PARTIAL SCOREs for each of those three files. * E.g. If `max.mlw` and `binary_search.mlw` get passed, 2 out of 3 points will be given. -* You may use [Why3 in your browser](https://why3.lri.fr/try/). +* You may use [Why3 in your browser](https://www.why3.org/try/). * Clicking `Verify` button at the top will open a panel on the right side. * For each task in the panel (e.g. `loop invariant preservation`), you can right-click it and run the prover. * Fill in `TODO`s until the prover can verify all tasks, notified with green check-marks. * To submit your solution, run `./scripts/submit.sh` and submit `assignment05.zip` in the `target` directory to gg. -* More on Why3: -* Why3 standard library: +* [More on Why3](https://www.why3.org/doc/). +* [Why3 standard library](https://www.why3.org/stdlib/).