Skip to content

feat: Track whether simp_mem made progress in the monad state [5/?] #407

feat: Track whether simp_mem made progress in the monad state [5/?]

feat: Track whether simp_mem made progress in the monad state [5/?] #407

Triggered via pull request October 31, 2024 15:37
Status Success
Total duration 1m 34s
Billable time 1m
Artifacts

copyright-header.yml

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