Google DeepMind Formal Conjectures

This repository contains artifacts generated by AxiomProver related to Google DeepMind's Formal Conjectures repository.

Problems

GDM Problem	Our notes	Solution Lean
BorweinSineSeries	Markdown	Lean
OeisA6697	Markdown	Lean

This repository uses the MIT License. See LICENSE for details.

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
.github/workflows		.github/workflows
BorweinSineSeries		BorweinSineSeries
OeisA6697		OeisA6697
docs		docs
input		input
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain
logo.svg		logo.svg