Library of Formalized Mathematics for Isabelle/Isar (ZF Logic) - Bugs: Statistics
Statistics by 'Severity':
Field Description: Impact of the item on the system (Critical, Major,...)
Open Items
No item found.
All Items
No item found. This field is probably unused