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 2

2. directed_kmeans directed_kmeans Public

   maneuver the shape and distribution of kmeans clusters

   Jupyter Notebook 2

3. discord_multiagent discord_multiagent Public

   Deploying multiple agents in discord and allowing them to interact through @-mentions.

   Python 2

4. physics_hw_doc_creator physics_hw_doc_creator Public

   Create a homework document of Mr.Jame Kim's assigned openstax questions

   Python 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