Check for copyright header

refactor: change memory-effects theorem to a quantifier-free statement #388

Sign in to view logs

Triggered via pull request October 16, 2024 22:39

shigoel

synchronize #224

memory-effects-proof-as-mem-equals

Status Success

Total duration 21s

Billable time 1m

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files