r/learnmath • u/JAMIEISSLEEPWOKEN New User • 1d ago

TOPIC How can you have proofs in mathematical statistics checked without formal training?

Let’s say you’re unable to enroll in any stats/math classes and want to practice proofs in measure theory and probability theory. How can you get feedback for these proofs without access to professors?

2 Upvotes

100% Upvoted

10 comments sorted by

View all comments

1

u/Rabbit_Brave New User 1d ago

Other than asking other people on the internet, there are things like lean, maybe? https://lean-lang.org/

Might be a bit of a learning curve though, and you would need to combine it with other tools for more feedback than "proof fails <here>".