We are excited by a future where intelligence is built on a foundation of logic & reasoning, where models are accessible to everyone and the output is verifiably correct. Our team has extensive experience in AI and software and we are applying these skillsets to create custom datasets in Lean and other proof assistants.