/

• .gitignore
• nneq.py
• notes.norg
• proof.norg
• verify_xor.py
• vnncomp2025_benchmarks @ 8b7b811
• xor