An enhanced unification algorithm for Coq
Repository Index
70,234 visible repositories in the index
1–2 of 2 · Most stars
Pure OCaml implementation of the "vchan" shared-memory communication protocol
70,234 visible repositories in the index
1–2 of 2 · Most stars
An enhanced unification algorithm for Coq
Pure OCaml implementation of the "vchan" shared-memory communication protocol