Igor Tarakanov
- Login: tarakanov
- Registered on: 10/16/2019
- Last connection: 03/20/2020
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| Imperative HOL examples | Manager, Developer, Reporter, Customer, Technical Writer | 10/17/2019 |