Skip to content

replace some `|Num.floor _|%N with Num.trunc _ #3323

replace some `|Num.floor _|%N with Num.trunc _

replace some `|Num.floor _|%N with Num.trunc _ #3323

Annotations

1 error and 1 warning

coq

failed Dec 7, 2024 in 54s