Add `subst!` and `typeof!` to `Notations.v` #4861

Triggered via pull request December 8, 2023 03:15

JasonGross

synchronize #1775

subst-type-of

Status Success

Total duration 49s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

java.yml

on: pull_request

Produced during runtime

Name	Size
fiat-javadoc Expired	503 KB