Skip to content
Build thys

Fix not being able to use rho as variable name in binder_induction #312

Sign in to view logs

Fix not being able to use rho as variable name in binder_induction

Fix not being able to use rho as variable name in binder_induction #312

Annotations

1 warning

build

build
succeeded Dec 20, 2024 in 13m 22s