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.

Subcategories

This category has the following 2 subcategories, out of 2 total.

I

Pages in category "Intermediate Refactoring"

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

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