Homec4science
Diffusion coq-project c06ef9bb93fe

Remove output
c06ef9bb93fe
Actions

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

Description

Remove output

Details

Committed
Liu Fengyun <liu@fengy.me>Oct 3 2019, 14:59
Pushed
liufOct 4 2019, 15:04
Parents
R9452:fe4b5d0f850a: WIP - proof by tactics
Branches
Unknown
Tags
Unknown

Event Timeline

Liu Fengyun <liu@fengy.me> committed R9452:c06ef9bb93fe: Remove output (authored by Liu Fengyun <liu@fengy.me>).Oct 3 2019, 14:59

Changes (1)

Path
Mdemo.ipynb

R9452:c06ef9bb93fe

View Options

demo.ipynb

Loading...
c4science ยท Help