Index of /current_tree/proofs/XOR_SAT

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [TXT] main_EN.tex 2021-04-19 21:30 6.0K [TXT] XOR_SAT.py 2021-01-30 13:05 1.9K [TXT] make_SVGs.sh 2020-07-05 19:43 73 [TXT] 3.gv 2020-07-05 19:43 373 [TXT] 1.gv 2020-07-05 19:43 318 [TXT] 2.gv 2020-07-05 19:43 357
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443