Repo

interactive-proof

@jjjhenriksenby Jacqueline Henriksen · Independent

0

Interactive Proof helps students, educators, and self-directed learners understand mathematical papers and proofs through interactive, grounded AI explanations of every proof step.

Built withTypeScriptformalizationfullstacklean4typescript

See what other members are building and what each project is looking for.