Category:Advanced Refactoring

From ProofWiki
Jump to navigation Jump to search

These are pages which are in the process of being refactored.

The required work is believed to be of advanced level.

Do not embark unless you are a trusted user. (If you don't know what a "trusted user" is, you are not a trusted user.)

See the {{Refactor}} template.

Pages in category "Advanced Refactoring"

The following 116 pages are in this category, out of 116 total.