jcpaik

Jineon Baek's repositories

sofa-designer

A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rational QP solver powered by CGAL

Language:C++29 2 4

erdos-tuza-valtr

A formal verification of a mathematics/combinatorics paper "On the Erdős-Tuza-Valtr Conjecture"

Language:Lean3 2 2

mathmd

A small opinionated Obsidian vault to LaTeX transpiler for personal use

Language:Haskell2 1 3

sofa-designer-box

Language:C++2 10

erdos-szekeres-sat

An SAT encoding of Erdős-Szekeres conjecture, including counterexamples of its variants

Language:Python1 10

carithmetic

A toy javascript project - a game involving cards and arithmetics

Language:JavaScript010

jcpaik.github.io

Academic homepage for Jineon Baek

Language:HTML010

lean4-samples

Code samples for Lean 4

Language:LeanApache-2.0000

magimixer

A simple Jupyter notebook for finding Magimixer solutions and generating hard Magimixer problems

Language:Jupyter NotebookUnlicense000

samsung-data-challenge

Source codes used for Samsung Data Challenge 2018 as team Campfire

Language:Jupyter Notebook010

step-calculator

Language:Scala010

lean-tutorial-sess

Simple Lean 4 tutorial sessions

Language:Lean000

sofa-mdbook

Language:Shell01 10

trash-nft

An NFT that is not transferrable or burnable once minted

Language:Solidity010

umich-dissertation-template

University of Michigan Rackham Graduate School Dissertation Template (unofficial)

Language:TeXCC0-1.0000

yacht-dice

Yacht dice in React.

Language:JavaScript000