USI & SUPSI Source Code Management (SCM)

• Registered on: 21/02/2024
• Last connection: 28/03/2024

Issues

• Assigned issues: 0
• Reported issues: 0

Projects

• verify solidity contracts (Manager, 08/03/2024)
• verify witness evaluation (Manager, 09/03/2024)