Skip to content
Prettify Code

Comment out lemmas dependent on eq_rect_eq #151

Sign in to view logs

Comment out lemmas dependent on eq_rect_eq

Comment out lemmas dependent on eq_rect_eq #151

Triggered via push November 25, 2023 04:03
@huynhtrankhanhhuynhtrankhanh
pushed 1907822
main
Status Success
Total duration 21s
Artifacts –

prettier.yml

on: push
prettify
11s
prettify
Fit to window
Zoom out
Zoom in