Skip to content
Proof PR

Enlarge the trace monad rule set for RG logic #2730

Sign in to view logs

Enlarge the trace monad rule set for RG logic

Enlarge the trace monad rule set for RG logic #2730

Annotations

1 error

All (X64)

All (X64)
failed Feb 27, 2024 in 3h 42m 55s