Pinned Repositories
Lean
local-langlands-abelian
Formalization of Statement of Local Langlands Correspondence for Tori
M1P1-lean
Material from M1P1, formalised in Lean
mathlib4
Unofficial repository for the experimental porting of mathlib into lean4
kckennylau's Repositories
kckennylau/local-langlands-abelian
Formalization of Statement of Local Langlands Correspondence for Tori
kckennylau/mathlib4
Unofficial repository for the experimental porting of mathlib into lean4
kckennylau/Lean
kckennylau/M1P1-lean
Material from M1P1, formalised in Lean
kckennylau/18338
kckennylau/category-theory
kckennylau/Cheddar
Cheddar, the language that works for you
kckennylau/CodeGolf-Hackathon
CodeGolf Hackathon is a competition that aims to find the shortest code required to solve some specific programming puzzles, in the golfing languages used on PPCG. WIP.
kckennylau/jelly
kckennylau/JMC3
Imperial College London Mathematics and Computer Science (Pure Mathematics and Computational Logic) Third Year
kckennylau/lean-1
Lean Theorem Prover
kckennylau/lean-2
Lean Theorem Prover
kckennylau/lean-scheme
Formalisation of a scheme in Lean.
kckennylau/lean-stacks-project
Formal verification of parts of the Stacks Project in Lean
kckennylau/Lean_ElementaryNT
Module for elementary number theory (where we only study ring of integers for rationals) with focus on modular arithmetic unique prime factorisation.
kckennylau/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
kckennylau/mathlib
Lean mathematical components library
kckennylau/natural_number_game
Building the natural numbers in Lean.
kckennylau/ordinals
kckennylau/Phigs
the only notable golfing language
kckennylau/pyth
Pyth, an extremely concise language. Try it here:
kckennylau/Seriously
A golfing language that is probably terrible
kckennylau/settheory
Set Theory: A treatise on ZFC and ordinals
kckennylau/tao-analysis-one
kckennylau/test
kckennylau/triangular
A 2D esoteric programming language, inspired by Hexagony and based on Surface
kckennylau/Two-Bit
kckennylau/vscode-lean
An extension for VS Code which provides support for the Lean language.
kckennylau/xena
Lean Library currently studying for a degree at Imperial College
kckennylau/ZOL_proof_automater