Hyeokjun Kwon's repositories
Main-theorem-of-polytopes
Proving the main theorem of polytopes using Lean 4
Latin-Hypercube-project-with-Lean-4
Trying to define and prove some basic theorems using Lean 4
Language:Lean000
Digraphs
The GAP package Digraphs
Language:GAPNOASSERTION000
Language:C++000
Language:Jupyter Notebook000
Language:Lean000
Language:Jupyter NotebookMIT000
Language:Jupyter NotebookMIT000
SemigroupsSidedIdeal
The GAP package Semigroups implementing Free Semilattice
Language:GAPNOASSERTION000