Skip to content

feat: convert x.sdiv (2^k) into x.sshiftRight k #278

feat: convert x.sdiv (2^k) into x.sshiftRight k

feat: convert x.sdiv (2^k) into x.sshiftRight k #278

check-lean-files

succeeded Nov 12, 2024 in 29s