Skip to content

Research: sharp infinite-dihedral reflection bills with arbitrary dirty registers - #1911

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
adamgall:research/register-instance06
Oct 14, 2026
Merged

Research: sharp infinite-dihedral reflection bills with arbitrary dirty registers#1911
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
adamgall:research/register-instance06

Prove sharp infinite-dihedral reflection bills with dirty registers

712593f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
Job log options

This job was cancelled