Skip to content

Proof of x+y=y+x in Peano arithmetic

Viktor Kuncak requested to merge github/fork/cache-nez/peano into main

Created by: cache-nez

Merge request reports