Fix issue #789 · PrincetonUniversity/VST@4db2c9d

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Automatically putting Flat_alg in Prop even though it was declared

Automatically putting Void in Prop even though it was declared with

Automatically putting functorFacts in Prop even though it was

Automatically putting functorFacts in Prop even though it was

Automatically putting functorFacts in Prop even though it was

Automatically putting functorFacts in Prop even though it was

Automatically putting functorFacts in Prop even though it was

Notation rev_length is deprecated since 8.20.

Notation rev_length is deprecated since 8.20.

Notation rev_length is deprecated since 8.20.

Provide feedback