This repository contains artifacts generated by AxiomProver related to Google DeepMind's Formal Conjectures repository.
| GDM Problem | Our notes | Solution Lean |
|---|---|---|
| BorweinSineSeries | Markdown | Lean |
| OeisA6697 | Markdown | Lean |
This repository uses the MIT License. See LICENSE for details.