FilesExpand file tree

master

/

dune

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

3 lines (3 loc) · 53 Bytes

master

/

dune

Copy path

Top

File metadata and controls

• Code
• Blame

3 lines (3 loc) · 53 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

(coq.theory

(name ITreeTutorial)

(theories ITree))