Christoph Scholl
- Login: scholl
- Email: scholl@informatik.uni-freiburg.de
- Registered on: 09/17/2013
- Last sign in: 09/22/2025
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| isat3 | iSAT3 Repository Reader | 09/07/2020 |
| Save Our Robots | Developer | 12/23/2018 |
| Arithmetikverifikation | Manager, Developer, Leading Developer | 03/19/2021 |
| Planning | Manager, Developer, User | 09/19/2019 |
| Retiming Verification using IC3 | Manager | 09/15/2025 |
| SCA | Manager, Developer, User | 12/11/2019 |