Library of Formalized Mathematics for Isabelle/Isar (ZF Logic) - Patches: Statistics

• Aging Statistics
• Statistics by 'Category'
• Statistics by 'Priority'
• Statistics by 'Status'
• Statistics by 'Privacy'
• Statistics by 'Assigned to'
• Statistics by 'Open/Closed'
• Statistics by 'Discussion Lock'

Copyright © 2024 Free Software Foundation, Inc.
Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.
The Levitating, Meditating, Flute-playing Gnu logo is a GNU GPL'ed image provided by the Nevrax Design Team.
Page source code