a-conjecture-of-mine

An exercise on polyglossy: the same problem solved on multiple languages

Diffstat

2 files changed, 1 insertion, 0 deletions

diff --git a/.gitignore b/.gitignore
@@ -3,6 +3,7 @@
 *.exe
 *.img
 *.IMG
+Executables
 Statistics
 Latex
 Q#

diff --git a/proof.pdf b/proof.pdf
Binary files differ.