This is your work, valued

Chris Bailey

Advanced
@ammkrn
christopherabailey.com/

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

158

nanoda. A type checker for the Lean theorem prover

43

type_checking_in_lean4. Type Checking in Lean 4

38

timelib. A date and time library for Lean 4

15

printiest. A pretty printer for Lean 4

9

second_opinion. Rust

6

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

2

mathlib4-tc-sentinel. Shell

1

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

1

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

1