Skip to content
Nix CI

fix: make elabAsElim aware of explicit motive arguments #16364

Sign in to view logs

fix: make elabAsElim aware of explicit motive arguments

fix: make elabAsElim aware of explicit motive arguments #16364

The logs for this run have expired and are no longer available.