Александр Крюков
- Login: aakryukov
- Registered on: 10/25/2019
- Last connection: 08/29/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/25/2019 |
| TSMT: Tools for bounded E-Matching | Developer | 02/07/2020 |