Skip to content
Lean Action CI

Fix critical error in finite rank proof #196

Sign in to view logs

Fix critical error in finite rank proof

Fix critical error in finite rank proof #196

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
3m 58s
3m 58s