Homec4science
Diffusion coq-project 10f6bb3faed8

Add links to tactics
10f6bb3faed8
Actions

Authored by Liu Fengyun <liu@fengy.me> on Oct 17 2019, 11:04.

Description

Add links to tactics

Details

Committed
Liu Fengyun <liu@fengy.me>Oct 17 2019, 11:04
Pushed
liufOct 17 2019, 11:05
Parents
R9452:56d1219b81b8: Add binder links
Branches
Unknown
Tags
Unknown

Event Timeline

Liu Fengyun <liu@fengy.me> committed R9452:10f6bb3faed8: Add links to tactics (authored by Liu Fengyun <liu@fengy.me>).Oct 17 2019, 11:04

Changes (1)

Path
Mdemo.ipynb

R9452:10f6bb3faed8

View Options

demo.ipynb

Loading...
c4science ยท Help