Comment by adamddev1

Any experience with Rocq? I've been curious about jumping into dependent types.