Skip to content
core library

chore: add TACNAME to get the name of the theorem (#849) #4511

Sign in to view logs

chore: add TACNAME to get the name of the theorem (#849)

chore: add TACNAME to get the name of the theorem (#849) #4511

Run time

Learn about OS pricing on GitHub Actions
Job Run time
core library
8m 38s
8m 38s