Separation Logic in Coq - Support Tracker Administration: Field values for 'Assigned to'
Existing Values
| Value label | Description |
|---|---|
| alalme | nicolas marti |
| reynald | Reynald Affeldt |
Powered by Savane 3.16.
Corresponding source code
