Homec4science
Diffusion coq-project b9bc924cb89b

Fix typo
b9bc924cb89b
Actions

Authored by Liu Fengyun <liu@fengy.me> on Dec 12 2019, 16:09.

Description

Fix typo

Details

Committed
Liu Fengyun <liu@fengy.me>Dec 12 2019, 16:09
Pushed
liufDec 12 2019, 16:10
Parents
R9452:3ed179d31ada: Merge pull request #2 from lampepfl/anatoliykmetyuk-patch-1
Branches
Unknown
Tags
Unknown

Event Timeline

Liu Fengyun <liu@fengy.me> committed R9452:b9bc924cb89b: Fix typo (authored by Liu Fengyun <liu@fengy.me>).Dec 12 2019, 16:09

Changes (1)

Path
Mdemo.ipynb

R9452:b9bc924cb89b

View Options

demo.ipynb

Loading...
c4science ยท Help