Add some reduction notations #5643

Triggered via pull request March 2, 2025 18:43

JasonGross

opened #2017

Status Success

Total duration 56s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size
fiat-javadoc	75.3 KB