Category:Intermediate 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 intermediate level.

See the {{Refactor}} template.


This category has only the following subcategory.


Pages in category "Intermediate Refactoring"

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

(previous page) (next page)
(previous page) (next page)