- Seoul, Republic of Korea
-
04:23
(UTC +09:00)
Block or Report
Block or report hilyun07
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
coq-tricks Public
Forked from coq-community/coq-tricksTricks you wish the Coq manual told you [maintainer=@tchajed]
Coq MIT License UpdatedJul 22, 2024 -
-
etcd-io_raft Public
Forked from LeSN-Lab/etcd-io_raftRaft library for maintaining a replicated state machine
Go Apache License 2.0 UpdatedMay 3, 2024 -
-
Archive for all Coq related OPAM packages organized in various repositories
OCaml GNU Lesser General Public License v2.1 UpdatedOct 14, 2023 -
CompCert Public
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler
Coq Other UpdatedDec 22, 2022 -