Skip to content
Check for copyright header

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

Sign in to view logs

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

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

Triggered via pull request October 11, 2024 22:35
@alexkeizeralexkeizer
synchronize #224
memory-effects-proof-as-mem-equals
Status Success
Total duration 17s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
10s
check-lean-files
Fit to window
Zoom out
Zoom in