Pinned Loading

1. Unique_Factorization_Lean4 Unique_Factorization_Lean4 Public

   A lean 4 proof of unique prime factorization in well-ordered rings, starting from ring axioms.

   Lean 3

2. 3D_Gomoku 3D_Gomoku Public

   A 3D Gomoku (Five in a row) app with trained alphazero model

   Python

3. Stanford-TML/robot_keyframe_kit Stanford-TML/robot_keyframe_kit Public

   Create motion for any robot through editing keyframe

   Python 124 8

4. directed_kmeans directed_kmeans Public

   maneuver the shape and distribution of kmeans clusters

   Jupyter Notebook 2

5. ring_axioms_lean4 ring_axioms_lean4 Public

   Proof of some basic results in ring and ordered ring in lean 4

   Lean 2

6. well_ordered_ring well_ordered_ring Public

   proof that Int type in Mathlib satisfy properties of a well-ordered ring

   Lean 2