Spaces:

Tonic
/

Math

Running on Zero

Add Multi-Turn theorem proving / fixing

by Tonic - opened 4 days ago

Tonic

Owner 4 days ago

Join us with a PR that

based on the information in the kimina github repository

Upload images, audio, and videos by dragging in the text input, pasting, or clicking here.

Tap or paste here to upload images

· Sign up or log in to comment