Homec4science
Diffusion coq-project 16de53d1e683

Typo fix
16de53d1e683
Actions

Authored by Anatolii Kmetiuk <anatoliykmetyuk@gmail.com> on Nov 21 2019, 15:56.

Description

Typo fix

Details

Committed
GitHub <noreply@github.com>Nov 21 2019, 15:56
Pushed
liufNov 21 2019, 16:06
Parents
R9452:d3af2d8b0460: Merge pull request #1 from lampepfl/anatoliykmetyuk-patch-1
Branches
Unknown
Tags
Unknown

Event Timeline

GitHub <noreply@github.com> committed R9452:16de53d1e683: Typo fix (authored by Anatolii Kmetiuk <anatoliykmetyuk@gmail.com>).Nov 21 2019, 15:56

Changes (1)

Path
Mdemo.ipynb

R9452:16de53d1e683

View Options

demo.ipynb

Loading...
c4science ยท Help