Rafal Kolanski

Non-ancient tech can now handle the absence of the extra UNIV. When there's an opportunity, we should remove the `UNIV ` idiom from CRefine on all arches.

Unread channels appear as if read after a few minutes

6

#### Summary On an MM server with data migrated via the REST API, all unread channels stop looking unread after a few minutes (including any notification indicator on tab in...

Enhance C Parser to allow named array bounds

3

### Problem Statement When trying to generalise proofs across multiple platforms or configurations, we do OK on the abstract/design side, but encounter a significant issue with `ArrayBounds` during CRefine: they...

Decide on style for `[def]rule_tac ... [and ...] in ...`

7

We had some discussions on the Proofcraft mattermost (present were myself, @lsf37 , @corlewis , @michaelmcinerney ), which ended up with things not quite nailed down in the end. Let's...