Beast code in Giters

Jaehyung Lee's starred repositories

Yahoo! Cloud Serving Benchmark

Language:JavaApache-2.04929 215 953

The CompCert formally-verified C compiler

Language:CoqNOASSERTION1864 63 279

Lean 3's obsolete mathematical components library: please use mathlib4

Language:LeanApache-2.01667 52 362

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Language:CoqNOASSERTION954 57 519

Metaprogramming, verified meta-theory and implementation of Coq in Coq

Language:CoqMIT370 17 149

HoTTEST Summer School materials

Language:TeX285 27 1

Visual Studio Code Extension and Language Server Protocol for Coq

Language:OCamlLGPL-2.1147 6 243

comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories

Language:Lean60 6 12

Programming Principles, SNU 4190.210, 2023 Fall

Language:Scala22 17 78

He Reiter, Ho Reiter, He Reiter, Immer weiter!

Language:Coq9 1 1

Language:Agda8 20

A gentle tutorial on Lean

Language:TeXCC-BY-4.08 10

Raft library for maintaining a replicated state machine

Language:GoApache-2.0100