Homec4science
Diffusion coq-project 46137b8e20f1

WIP - functional programming in Coq
46137b8e20f1
Actions

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

Description

WIP - functional programming in Coq

Details

Committed
Liu Fengyun <liu@fengy.me>Oct 2 2019, 17:15
Pushed
liufOct 4 2019, 15:04
Parents
R9452:4d96f88bb6da: Initial commit
Branches
Unknown
Tags
Unknown

Event Timeline

Liu Fengyun <liu@fengy.me> committed R9452:46137b8e20f1: WIP - functional programming in Coq (authored by Liu Fengyun <liu@fengy.me>).Oct 2 2019, 17:15

Changes (1)

Path
Mdemo.ipynb

R9452:46137b8e20f1

View Options

demo.ipynb

Loading...
c4science ยท Help