Skip to content
Build

Added theorems #119

Sign in to view logs

Added theorems

Added theorems #119

Triggered via push November 9, 2023 17:51
@Eagle941Eagle941
pushed a1e766a
new_theorems
Status Success
Total duration 3m 27s
Artifacts –

build.yml

on: push
Build
3m 17s
Build
Fit to window
Zoom out
Zoom in