Pinned Loading

1. CHYYYYYYYY/SolidGeoSolver CHYYYYYYYY/SolidGeoSolver Public

   Python 37 2

2. Machine-Learning-Lecture Machine-Learning-Lecture Public

   This is a chinese teaching about easy Machine Learning&Deep Learning.It includes mainstream teaching methods(Lec) and easy introductory projects(some code is empty).We want to individual who likes …

   Jupyter Notebook 1

3. ErdosProblems-1030-RamseyNumber ErdosProblems-1030-RamseyNumber Public

   This is a weak formal attempt to prove that the limit is greater than 1

   Lean

4. Advanced-Linear-Algebra Advanced-Linear-Algebra Public

   These are some formalizations of the exercises in the Advanced Linear Algebra course

   Lean

5. Aristotle-CMO2025 Aristotle-CMO2025 Public

   This repository contains question files and solutions @Aristotle for problems in CMO2025.

   Lean

6. First-Proof First-Proof Public

   A simple test

   TeX