Name Last modified Size DescriptionApache/2.4.52 (Ubuntu) Server at smt.st Port 443
Parent Directory - np_complete.png 2020-07-05 19:43 108K 287_v1.png 2020-07-05 19:43 81K main_EN.tex 2021-07-15 01:47 2.6K xkcd287.smt 2020-07-05 19:43 1.5K xkcd287_Z3_sexpr.py 2021-07-15 01:47 542 xkcd287_Z3.py 2021-02-14 02:48 524 xkcd287_MK85.py 2021-02-14 02:48 496 xkcd287_Z3_sexpr.txt 2021-07-15 01:47 432 diff.txt 2021-07-15 01:47 315