Code owners
Assign users and groups as approvers for specific file changes. Learn more.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| IntegrationTests | ||
| Library | ||
| Scrolls | ||
| examples | ||
| http..mathhub.info | ||
| .rel | ||
| DefaultSituationSpace.rel | ||
| MetaTheories.rel | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| IntegrationTests | ||
| Library | ||
| Scrolls | ||
| examples | ||
| http..mathhub.info | ||
| .rel | ||
| DefaultSituationSpace.rel | ||
| MetaTheories.rel | ||