Pinned Repositories
category-theory-2017
hott-2017
Homotopy type theory reading group at ANU, 2017
kbb
KhBraids
lean-category-theory
An experimental category theory library for Lean
lean-monadic-list
Further development of the Lean `MLList` monadic lazy list type.
lean-monoidal-categories
lean-sage
lean-tidy
lean-training-data
kim-em's Repositories
kim-em/lean-training-data
kim-em/lean-sage
kim-em/lean-monadic-list
Further development of the Lean `MLList` monadic lazy list type.
kim-em/lean-auto
Experiments in automation for Lean
kim-em/102_comb_lean
Lean proofs of (some) problems from the book "102 Combinatorial Problems"
kim-em/cedar-spec
Definitional implementation of Cedar language and utilities for DRT
kim-em/Directed-Topology-Lean-4
kim-em/formalization-of-mathematics
kim-em/ginac-lean
kim-em/hw_template
kim-em/lake_build_problem
kim-em/lean-math-workshop
kim-em/lean-playground
Experiment with Lean prover.
kim-em/lean4
Lean 4 programming language and theorem prover
kim-em/lean4-1
grhkm messing around with lean4!
kim-em/LeanInfer
Native Neural Network Inference in Lean
kim-em/leanplayground
kim-em/leansat
This package provides an interface and foundation for verified SAT reasoning
kim-em/LNSym
Arm Native Code Symbolic Simulator in Lean
kim-em/Main-theorem-of-polytopes
Proving the main theorem of polytopes using Lean 4
kim-em/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
kim-em/mathlib4
Work in progress mathlib port for lean 4
kim-em/mathlib4-options
all options in mathlib4
kim-em/MathlibTemplate
Lean Template (with mathlib)
kim-em/MathlibTemplate-branch1
kim-em/Matroid
kim-em/pfr
kim-em/PrimeNumberTheoremAnd
blueprint for prime number theorem and more
kim-em/SemanticsLean
kim-em/std4
Standard Library for Lean 4