ColinRothgang
authored
Since the HOL Peano numbers theory includes simple function types with cause notation clashes with dependent function types.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||