Skip to content
Check for copyright header

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

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 #347

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-lean-files
9s
9s