Tomáš Kolárik
- Login: kolart@usi.ch
- Registered on: 21/02/2024
- Last connection: 22/10/2024
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| verify solidity contracts | Manager | 08/03/2024 |
| verify witness evaluation | Manager | 09/03/2024 |