@DeepSpec
Yishuai Li
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Contributor @rocq-prover.
259
156
—
1
Projects
Repositories this builder owns.
opam
Archive for all Coq related OPAM packages organized in various repositories
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
ublock-static-filters
Gist -> GitHub mirror for auto sync
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
Connected narratives
Related builders
Others building in the same ecosystem.
