This is repo where as I learn math do some programs in python, c++ and haskell

Prime numbers

Proof

{x∈N∣x>2∧∀d∈N:(d∣x⇒d=1∨d=x)}