gilhur

Pinned Repositories

InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
Language:Coq200 17 8951
InteractionTrees
Formalization of the Interaction Tree Datatype in Coq
Language:Coq00
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:JavaScript00
test
0 2 00
pp202002
18 22 831
pp202202
Language:Coq17 17 460
pp202302
Programming Principles, SNU 4190.210, 2023 Fall
Language:Scala22 17 787
swpp201901
소프트웨어 개발의 원리와 실습
Language:JavaScript28 24 568
paco
A Coq library for parametric coinduction
Language:Coq43 9 2710
promising-coq
The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
Language:Coq32 13 75

gilhur's Repositories

gilhur/InteractionTrees
Formalization of the Interaction Tree Datatype in Coq
Language:Coq00
gilhur/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:JavaScript00
gilhur/test
0 2 00