formal-conjectures:基于 Lean 与 mathlib 的数学猜想形式化项目

Star0
0
Code
Code
Issues
Pull Requests
Discussion
Wiki
Analysis
Star0
0

A collection of formalized statements of conjectures in Lean.

Branch27Tags13

Introduction

Lean 中一系列形式化的猜想陈述集。【此简介由AI生成】

Apache-2.0 Lean1.69 KCommitsformal-mathematicslean4
Customize your domain
README
171.04 K339Visit GitHub