Skip to content
Nix CI for bundle master

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

Sign in to view logs

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

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

Annotations

1 error and 1 warning

coq

coq
failed Dec 10, 2024 in 55s