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