Bourbaki

Overview

Bourbaki is an autonomous agent designed for mathematical reasoning and proof generation. It is ideal for researchers and developers working in the field of mathematics and automated theorem proving.