Repository navigation

.github

Public

About

AI-assisted mathematics research and Lean formalization.

ai4math formal-verification lean4 mathematics

Custom properties

0 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
profile		profile
AGENTS.md		AGENTS.md
README.md		README.md

Repository files navigation

Organization profile

组织主页内容位于 profile/README.md。

研究目录见 research-index。

About

AI-assisted mathematics research and Lean formalization.

ai4math formal-verification lean4 mathematics

Custom properties

0 stars

0 watching

Report repository

Releases

Packages

Contributors