We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Remove dead code. Follow-up on Matthieu's d030ce0.
Fix missing lift in VM and native compiler (second part of rocq-prove… …r#2729).
Correct pl version number
Update CHANGES.
Restoring SVN tags