Skip to content

Actions: mo271/FormalBook

Actions

Compile blueprint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blueprint.yml
136 workflow runs
136 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump mathlib2 Compile blueprint #137: Pull request #84 synchronize by mo271
December 9, 2024 15:38 26m 51s bump_mathlib2
bump_mathlib2
December 9, 2024 15:38 26m 51s
Bump mathlib2 Compile blueprint #136: Pull request #84 synchronize by mo271
December 8, 2024 10:28 20m 50s bump_mathlib2
bump_mathlib2
December 8, 2024 10:28 20m 50s
Bump mathlib2 Compile blueprint #135: Pull request #84 opened by mo271
December 7, 2024 11:14 22m 7s bump_mathlib2
bump_mathlib2
December 7, 2024 11:14 22m 7s
LeanAgent Proofs (#67) Compile blueprint #134: Commit f2784bf pushed by mo271
November 22, 2024 08:05 9m 47s main
main
November 22, 2024 08:05 9m 47s
LeanAgent Proofs Compile blueprint #133: Pull request #67 synchronize by mo271
November 22, 2024 07:24 9m 12s Adarsh321123:LeanAgent
Adarsh321123:LeanAgent
November 22, 2024 07:24 9m 12s
LeanAgent Proofs Compile blueprint #132: Pull request #67 synchronize by mo271
November 22, 2024 07:19 5m 45s Adarsh321123:LeanAgent
Adarsh321123:LeanAgent
November 22, 2024 07:19 5m 45s
Surname giacomo Compile blueprint #131: Pull request #81 synchronize by mo271
November 20, 2024 19:08 9m 11s dhyan-aranha:Surname-Giacomo
dhyan-aranha:Surname-Giacomo
November 20, 2024 19:08 9m 11s
use permanent, which is now in mathlib Compile blueprint #130: Commit fccdbb3 pushed by mo271
November 20, 2024 15:41 9m 3s main
main
November 20, 2024 15:41 9m 3s
use permanent, which is now in mathlib Compile blueprint #129: Pull request #80 opened by mo271
November 20, 2024 14:35 9m 27s perm
perm
November 20, 2024 14:35 9m 27s
bump mathlib Compile blueprint #128: Commit cd57cbc pushed by mo271
November 20, 2024 08:58 45m 45s main
main
November 20, 2024 08:58 45m 45s
bump mathlib Compile blueprint #127: Pull request #79 opened by mo271
November 20, 2024 07:43 44m 31s mathlib_bump
mathlib_bump
November 20, 2024 07:43 44m 31s
de-googlify Compile blueprint #126: Commit b1c827e pushed by mo271
November 20, 2024 06:43 10m 43s main
main
November 20, 2024 06:43 10m 43s
Formal version of Furstenberg's infinitude of primes, fix blueprint t… Compile blueprint #124: Commit 9704e03 pushed by mo271
November 12, 2024 15:30 10m 30s main
main
November 12, 2024 15:30 10m 30s
Furstenberg's proof of infinitude of primes Compile blueprint #123: Pull request #77 opened by luigi-massacci
November 12, 2024 14:53 9m 57s luigi-massacci:furstenberg_primes
luigi-massacci:furstenberg_primes
November 12, 2024 14:53 9m 57s
Permanent conjecture (#76) Compile blueprint #122: Commit 9f0b5c0 pushed by mo271
November 12, 2024 12:31 9m 39s main
main
November 12, 2024 12:31 9m 39s
Permanent conjecture Compile blueprint #121: Pull request #76 synchronize by mo271
November 12, 2024 10:40 9m 50s permanent_conjecture
permanent_conjecture
November 12, 2024 10:40 9m 50s
Permanent conjecture Compile blueprint #120: Pull request #76 opened by mo271
November 12, 2024 10:22 9m 6s permanent_conjecture
permanent_conjecture
November 12, 2024 10:22 9m 6s
add permanent conjecture (#75) Compile blueprint #119: Commit 18cf480 pushed by mo271
November 12, 2024 10:19 9m 38s main
main
November 12, 2024 10:19 9m 38s
add permanent conjecture Compile blueprint #118: Pull request #75 synchronize by mo271
November 12, 2024 10:09 9m 36s permanent_conjecture
permanent_conjecture
November 12, 2024 10:09 9m 36s
add permanent conjecture Compile blueprint #117: Pull request #75 opened by mo271
November 12, 2024 10:08 1m 0s permanent_conjecture
permanent_conjecture
November 12, 2024 10:08 1m 0s
Update Chapter_06.lean Compile blueprint #116: Commit 1bc8c9f pushed by mo271
November 10, 2024 06:40 40m 55s main
main
November 10, 2024 06:40 40m 55s
chore: golf a few proofs in chapter 6 Compile blueprint #115: Pull request #74 opened by pitmonticone
November 9, 2024 20:30 41m 16s pitmonticone:golf-ch6
pitmonticone:golf-ch6
November 9, 2024 20:30 41m 16s
golf chapter 4 (#73) Compile blueprint #114: Commit 869ad05 pushed by mo271
October 25, 2024 06:02 41m 20s main
main
October 25, 2024 06:02 41m 20s
golf chapter 4 Compile blueprint #113: Pull request #73 opened by pitmonticone
October 24, 2024 19:34 42m 0s pitmonticone:golf-ch4
pitmonticone:golf-ch4
October 24, 2024 19:34 42m 0s
Fintype (S k) Compile blueprint #112: Commit 6c6e0d9 pushed by mo271
October 22, 2024 05:59 41m 51s main
main
October 22, 2024 05:59 41m 51s