Add proof equivalence of LEM and DNE
daf81fea91b8
Actions

Authored by Liu Fengyun <liu@fengy.me> on Oct 3 2019, 17:39.

Description

Add proof equivalence of LEM and DNE

Committed

Liu Fengyun <liu@fengy.me>

Oct 3 2019, 17:39

Pushed

liuf	Oct 4 2019, 15:04

Parents

R9452:b579420584f5: Finish proof by tactics

Branches

Unknown

Tags

Unknown

Liu Fengyun <liu@fengy.me> committed R9452:daf81fea91b8: Add proof equivalence of LEM and DNE (authored by Liu Fengyun <liu@fengy.me>).Oct 3 2019, 17:39

				Path
	M			demo.ipynb