freecodexapps.
← Back to the collection
LearningSource link availablePricing unverified

Interactive Proof math-paper reading companion

Stuck on one step in a mathematical paper? Interactive Proof lets learners select a passage in an uploaded PDF and request an explanation beside the source, with optional Lean code for context.

Created by Jacqueline Henriksen (jjjhenriksen)

Built with Codex

0net votes

Was this build worth discovering? Vote without signing in.

Pricing unverified

The cost of using this project has not been verified. Check the creator’s app for current terms.

Source checked September 8, 2026

Creator submission describes Codex implementing and reviewing the PDF reader, explanation route, upload workspace and tests. Linked repository corroborates the reading workflow and supplies this thumbnail.

KEEP EXPLORING

More builds like this

Start with similar ideas, then find something unexpected.

Explore Learning →
ADD TO THE COLLECTION

Made something?
Found something?

Share the original post. A working app link is optional.
Every submission is reviewed before it appears here.

No account needed. Please only submit public links and information you are happy to have published. Availability is checked during review.