hilyun07's Stars
damhiya/Coq-tips
motib/gentle-lean
A gentle tutorial on Lean
LeSN-Lab/etcd-io_raft
Raft library for maintaining a replicated state machine
brianfrankcooper/YCSB
Yahoo! Cloud Serving Benchmark
emilyriehl/yoneda
comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
snu-sf-class/pp202302
Programming Principles, SNU 4190.210, 2023 Fall
ejgallego/coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
martinescardo/HoTTEST-Summer-School
HoTTEST Summer School materials
damhiya/Logos
UniMath/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
kaist-cp/rust-school
MetaCoq/metacoq
Metaprogramming, verified meta-theory and implementation of Coq in Coq
AbsInt/CompCert
The CompCert formally-verified C compiler
leanprover-community/mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
KiJeong-Lim/DschingisKhan
He Reiter, Ho Reiter, He Reiter, Immer weiter!