I’m learning to use Rocq, I felt very powerful.