Skip to content
.github/workflows/blueprint.yml

trying to prove prime ideal theorem for distributive lattices #22

Sign in to view logs

trying to prove prime ideal theorem for distributive lattices

trying to prove prime ideal theorem for distributive lattices #22

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build project
6m 34s
6m 34s