Finish proof by tactics
b579420584f5
Actions

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

Description

Finish proof by tactics

Committed

Liu Fengyun <liu@fengy.me>

Oct 3 2019, 16:18

Pushed

liuf	Oct 4 2019, 15:04

Parents

R9452:c06ef9bb93fe: Remove output

Branches

Unknown

Tags

Unknown

Liu Fengyun <liu@fengy.me> committed R9452:b579420584f5: Finish proof by tactics (authored by Liu Fengyun <liu@fengy.me>).Oct 3 2019, 16:18

				Path
	A			.gitignore
	M			demo.ipynb