patchLibrary of Formalized Mathematics for Isabelle/Isar (ZF Logic) - Patch Manager Administration: Field values for 'Assigned to'

 
 

Field list

Existing Values

Value label Description
dan232 Daniel de la Concepción Sáez
sanxiyn Seo Sanghyeon
slawekk Slawomir Kolodynski

Back to the top

Powered by Savane 3.16.
Corresponding source code