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/hott-2017
Homotopy type theory reading group at ANU, 2017
kim-em/category-theory-2017
kim-em/proof
kim-em/2048
A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)
kim-em/anu-recruit-split
kim-em/arxiv-match
kim-em/ATLJ
kim-em/chocolate-fix
kim-em/citation-search
kim-em/formalabstracts
kim-em/G2-idempotents
kim-em/globular
Globular
kim-em/JavaScript-Snake
The game of Snake written in JavaScript.
kim-em/lean-client-js
kim-em/lean-monotone-class
kim-em/lean-stacks-project
Formal verification of parts of the Stacks Project in Lean
kim-em/lean-web-editor
Lean web editor
kim-em/library_dev
Lean standard library (development)
kim-em/mathoverflow-archive
kim-em/mathscinet-direct-links
A Chrome extension that edits MathSciNet pages to include direct links to article PDFs, and gives options for automatic downloads.
kim-em/msi
kim-em/msri-791
Homework and lecture notes for the 2017 MSRI summer school on subfactors.
kim-em/programming_in_lean
kim-em/QuantumSymmetryMSRI
kim-em/SE-CitationHelper
A citation helper for StackExchange
kim-em/show-penultimate-page
kim-em/SKh
kim-em/super
Superposition prover
kim-em/war
kim-em/xena
Lean Library currently studying for a degree at Imperial College