### Is your feature request related to a problem? _No response_ ### Proposed solution _No response_ ### Alternative solutions _No response_ ### Additional context https://github.com/rocq-archive/coq-in-coq
Is your feature request related to a problem?
No response
Proposed solution
No response
Alternative solutions
No response
Additional context
https://github.com/rocq-archive/coq-in-coq