Index of /current_tree/equations/xkcd287

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