Homec4science
Diffusion coq-project d0de388131d6

clean outputs
d0de388131d6
Actions

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

Description

clean outputs

Details

Committed
Liu Fengyun <liu@fengy.me>Oct 3 2019, 13:58
Pushed
liufOct 4 2019, 15:04
Parents
R9452:bbbc47e0cd07: Add first-order logic example
Branches
Unknown
Tags
Unknown

Event Timeline

Liu Fengyun <liu@fengy.me> committed R9452:d0de388131d6: clean outputs (authored by Liu Fengyun <liu@fengy.me>).Oct 3 2019, 13:58

Changes (1)

Path
Mdemo.ipynb

R9452:d0de388131d6

View Options

demo.ipynb

Loading...
c4science ยท Help