Library of Formalized Mathematics for Isabelle/Isar (ZF Logic) - Patch Manager Administration: Field values for 'Assigned to'
Existing Values
| Value label | Description |
|---|---|
| dan232 | Daniel de la Concepción Sáez |
| sanxiyn | Seo Sanghyeon |
| slawekk | Slawomir Kolodynski |
Powered by Savane 3.16.
Corresponding source code
