Why Am I Unable to See My Post?

[Lys]

It’s on now:

Looking for Advice on Codifying Theoretical Math in Coq

Hello Everyone , I could appreciate some advice from more seasoned users as I work on a project that includes formalising multiple mathematical conclusions using Coq proof assistance. My primary area of expertise is mathematics, so even though I have a bit experience with Coq, I’m currently learning about its best practices and more sophisticated capabilities. I am concentrating on theorems from actual analysis that deal with sequences and series. Here are a few areas where I’m having …