Add first-order logic example
bbbc47e0cd07
Actions

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

Description

Add first-order logic example

Committed

Liu Fengyun <liu@fengy.me>

Oct 3 2019, 13:16

Pushed

liuf	Oct 4 2019, 15:04

Parents

Branches

Unknown

Tags

Unknown

Liu Fengyun <liu@fengy.me> committed R9452:bbbc47e0cd07: Add first-order logic example (authored by Liu Fengyun <liu@fengy.me>).Oct 3 2019, 13:16

				Path
	M			demo.ipynb