GitHub - bicmr-ai4math/bicmr-ai4math.github.io: https://bicmr-ai4math.github.io

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
.github/workflows		.github/workflows
.vitepress		.vitepress
draft		draft
research-projects		research-projects
.gitignore		.gitignore
about.md		about.md
index.md		index.md
lean4-qa.md		lean4-qa.md
package-lock.json		package-lock.json
package.json		package.json
research-projects.md		research-projects.md
team-exercises.md		team-exercises.md