Links
Some links that I think may interest you if you got here.
My GitHub
Rocq prover
SSProve