Move NeuroProof section; small fixes
Add code snippets with minted library