Check for copyright header

feat: heterogeneous `(k : Nat) * (a : R)` support in grind linarith #14000

Sign in to view logs

Triggered via pull request June 13, 2025 16:11

leodemoura

synchronize #8773

grind_linarith_hmul_nat

Status Success

Total duration 44s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files