Rocq

I have considered it.

And I have experience doing something similar in the sense that Benjamin Pierce at UPenn created this course where he had teaching a programming languages course and then kind of completely redid the course so it was completely done in Coq.

And the software foundations book came out of that that many people are probably familiar with.

And so I, you know, I contributed to that.