Chris Bailey

nanoda_lib. Library implementing type inference/checking functionality based on the Lean theorem prover

nanoda. A type checker for the Lean theorem prover

type_checking_in_lean4. Type Checking in Lean 4

timelib. A date and time library for Lean 4

printiest. A pretty printer for Lean 4

second_opinion. Rust

lean-url. URL library for lean4 based on the whatwg url standard

mathlib4-tc-sentinel. Shell

mathlib4-docs-ja. Mathlib4 docs の和訳リポジトリ

k_framework_tutorial_jp. k-framework日本語 (公式チュートリアルの非公式翻訳)