ten-proofs
openai
Lean certificates accompanying ten proofs in mathematics and theoretical computer science
Lean
Apache License 2.0214
Stars
26
Forks
5
Watchers
0
Issues
Star 增长
今日0
近 7 天0
近 30 天0
综合评分40.29
默认分支main
暂无 README 内容
项目可能尚未同步完成，请稍后查看
openai
Lean certificates accompanying ten proofs in mathematics and theoretical computer science
暂无 README 内容
项目可能尚未同步完成，请稍后查看