USI & SUPSI Source Code Management (SCM)

• Registered on: 21/08/2019
• Last connection: 18/03/2024

Issues

• Assigned issues: 0
• Reported issues: 0

Projects

• verify solidity contracts (Developer, 21/08/2019)
• verify witness evaluation (Developer, 27/11/2020)