Skip to content
Formalization website

Refactoring of retractions, sections, and equivalences, and adding th… #364

Sign in to view logs

Refactoring of retractions, sections, and equivalences, and adding th…

Refactoring of retractions, sections, and equivalences, and adding th… #364

Run time

Learn about OS pricing on GitHub Actions
Job Run time
website (2.6.3)
20m 26s
20m 26s