Index of /aws-samples/how-to-write-more-correct-software-workshop/

../
dafny-helpers/                                     31-Jul-2023 09:37                   -
exercises/                                         31-Jul-2023 09:37                   -
img/                                               31-Jul-2023 09:37                   -
instructions/                                      31-Jul-2023 09:37                   -
util/                                              31-Jul-2023 09:37                   -
CONTRIBUTING.md                                    31-Jul-2023 09:37                3160
LICENSE                                            31-Jul-2023 09:37               14849
LICENSE-SAMPLECODE                                 31-Jul-2023 09:37                 926
LICENSE-SUMMARY                                    31-Jul-2023 09:37                 322
Makefile                                           31-Jul-2023 09:37                1031
README.md                                          31-Jul-2023 09:37                6920