/

• .gitignore
• README.md
• fashion_mnist
• nneq.py
• notes.norg
• proof.norg
• verify_fashion_mnist.py
• verify_xor.py
• xor