Name		Name	Last commit message	Last commit date
parent directory ..
MC_sums_even.cfg		MC_sums_even.cfg
MC_sums_even.tla		MC_sums_even.tla
README.md		README.md
manifest.json		manifest.json
sums_even.tla		sums_even.tla

README.md

The double of any number is even

Two proofs of the fact that x+x is even, for any natural number x.