Skip to content

Actions: teorth/analysis

Actions

Build book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_book.yml
974 workflow runs
974 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #439 from ggrandi/5-epilogue-scaffolding Build book #988: Commit 1d4e8c3 pushed by teorth
15m 4s main
main
15m 4s
scaffolding for 5 epilogue Build book #987: Pull request #439 opened by ggrandi
15m 4s ggrandi:5-epilogue-scaffolding
ggrandi:5-epilogue-scaffolding
15m 4s
Implement proofs for ContinuousWithinAt.tfae and Exercises 9.4.6 & 9.4.7 Build book #986: Pull request #438 opened by younesselassri08-maker
Action required younesselassri08-maker:patch-1
younesselassri08-maker:patch-1
Action required
Merge pull request #436 from Shaunticlair/patch-1 Build book #984: Commit d304e55 pushed by teorth
5m 12s main
main
5m 12s
Change coe_singleton type to explicitly convert Set -> _root_.Set Build book #983: Pull request #436 synchronize by Shaunticlair
4m 57s Shaunticlair:patch-1
Shaunticlair:patch-1
4m 57s
Merge pull request #435 from aodecipher/main Build book #982: Commit 53f71e1 pushed by teorth
3m 47s main
main
3m 47s
Change coe_singleton type to explicitly convert Set -> _root_.Set Build book #981: Pull request #436 opened by Shaunticlair
5m 9s Shaunticlair:patch-1
Shaunticlair:patch-1
5m 9s
Complete proof for triangle inequality Build book #980: Pull request #435 opened by aodecipher
4m 2s aodecipher:main
aodecipher:main
4m 2s
Merge pull request #434 from aodecipher/main Build book #979: Commit 7f41846 pushed by teorth
4m 36s main
main
4m 36s
Complete proofs for PreL1 and L1 space structure Build book #978: Pull request #434 opened by aodecipher
3m 51s aodecipher:main
aodecipher:main
3m 51s
Merge pull request #433 from aodecipher/main Build book #977: Commit afcb456 pushed by teorth
4m 33s main
main
4m 33s
Complete proofs for absolutely integrable functions in Section 1.3.4 Build book #976: Pull request #433 opened by aodecipher
3m 40s aodecipher:main
aodecipher:main
3m 40s
Merge pull request #431 from aodecipher/main Build book #975: Commit b42731f pushed by teorth
7m 28s main
main
7m 28s
Merge pull request #432 from teorth:1.4.3 Build book #974: Commit 3cf7fb9 pushed by teorth
32s main
main
32s
1.4.3 Build book #973: Pull request #432 opened by teorth
6m 16s 1.4.3
1.4.3
6m 16s
Complete Remark 1.3.10 proof and absolute integrability results Build book #972: Pull request #431 opened by aodecipher
4m 5s aodecipher:main
aodecipher:main
4m 5s
Complete Remark 1.3.10 proof and refactor Build book #971: Pull request #430 synchronize by aodecipher
4m 4s aodecipher:main
aodecipher:main
4m 4s
Complete Remark 1.3.10 proof and refactor Build book #970: Pull request #430 opened by aodecipher
4m 35s aodecipher:main
aodecipher:main
4m 35s
Merge pull request #429 from brandondong/rat_sub Build book #969: Commit 89f87a6 pushed by teorth
4m 26s main
main
4m 26s
Add missing 4.2 definition Build book #968: Pull request #429 opened by brandondong
3m 30s brandondong:rat_sub
brandondong:rat_sub
3m 30s
Merge pull request #427 from soham1053/main Build book #967: Commit 5a0a1df pushed by teorth
5m 18s main
main
5m 18s
Formalize Exercise 1.1.6 Build book #966: Pull request #427 synchronize by soham1053
5m 53s soham1053:main
soham1053:main
5m 53s
Merge pull request #428 from aodecipher/main Build book #965: Commit 8d63eb2 pushed by teorth
4m 51s main
main
4m 51s
Remark 1.3.10: binary-to-ternary function implementation and helper construction Build book #964: Pull request #428 opened by aodecipher
4m 41s aodecipher:main
aodecipher:main
4m 41s
Formalize Exercise 1.1.6 Build book #963: Pull request #427 opened by soham1053
6m 52s soham1053:main
soham1053:main
6m 52s