Index of /pub/2017post/appendix/


../
proof-casestudy.pdf                                28-Oct-2019 18:20               38813
proof-core.pdf                                     28-Oct-2019 18:20             5616185
proof-language.pdf                                 28-Oct-2019 18:20               59026
uncropped.pdf                                      20-Oct-2020 06:14             1019283