kookie
/
nomicon
1
0
Fork 0
Code Issues Projects Releases 1 Activity
375831 Commits
7 Branches
1 Tag
1.4 GiB
Tag: Branch: Tree: 11a0360f81
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '11a0360f81'
${ noResults }
Commit Graph

4 Commits (11a0360f81537e72d7feeb23be213b9cf6c1f154)

Author SHA1 Message Date
Vincent Laporte dd09b52700 coqPackages.ITree: enable for Coq 8.15
2 years ago
Vincent Laporte a2aaaee3d9 coqPackages.ITree: enable for Coq 8.14
3 years ago
Lars Rasmusson 316db3a129 coqPackages.ITree: changed pname to InteractionTrees
3 years ago
Lars Rasmusson 7e73508a5f ITree: init at 4.0.0
3 years ago