Junyan Xu's repositories
formalising-mathematics
Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.
OthelloSearch
Shortest paths to reach specific configuration in the game of Othello/Reversi/黑白棋.
ai4math-papers
AI for Mathematics (AI4Math) paper list
discrete_fibrations
Here we compare the definitions of the category of presheaves as discrete fibrations and as functors into the universe
elliptic-curve
singular points & discriminant, etc.
lean4
Lean 4 programming language and theorem prover
llama
Inference code for LLaMA models
mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
mathQ
Data and code for the paper "A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level" by Drori et al., 2022.
ray
Formalizing results about the Mandelbrot set in Lean
shanghai-lockdown-covid-19
Coronavirus (COVID-19) statistics data in Shanghai lockdown. 封控期间上海疫情数据，包括病例数、死亡数、确诊数、无症状数和疫情地址等。
stacks-project
Repository for the Stacks Project