We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
8a71d43
Improve navigation and doccomment detection. In .pv.log files, highlight lemmas that cannot be proven or are false.
.pv.log
