Skip to content
build and upload latex

Fixed mistakes, semi-finished proof of compact criteria #210

Sign in to view logs

Fixed mistakes, semi-finished proof of compact criteria

Fixed mistakes, semi-finished proof of compact criteria #210

Run time

Learn about OS pricing on GitHub Actions
Job Run time
prepare
6s
build (l/5/Functional_Analysis/2023_Konovalov)
2m 4s
2m 10s