Skip to content

Actions: sinhp/groupoid_model_in_lean4

Actions

Compile blueprint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blueprint.yml
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Compile blueprint Compile blueprint #43: by Jlh18
November 19, 2024 21:55 11m 32s master
master
November 19, 2024 21:55 11m 32s
chore: add authors and link to web page Compile blueprint #42: Commit aad955b pushed by Jlh18
November 19, 2024 21:04 11m 3s master
master
November 19, 2024 21:04 11m 3s
fix: cref -> ref Compile blueprint #41: Commit 5f4d59e pushed by Jlh18
November 19, 2024 16:40 11m 8s master
master
November 19, 2024 16:40 11m 8s
feat(NaturalModel.tex): add leanok / notready Compile blueprint #40: Commit 6a99cff pushed by Jlh18
November 19, 2024 16:14 10m 25s master
master
November 19, 2024 16:14 10m 25s
chore: gitignore .json Compile blueprint #39: Commit b24767b pushed by Jlh18
November 17, 2024 01:54 10m 17s master
master
November 17, 2024 01:54 10m 17s
chore: readd doc-gen Compile blueprint #38: Commit 1fe3fc3 pushed by Jlh18
November 17, 2024 01:51 10m 26s master
master
November 17, 2024 01:51 10m 26s
feat: fix namespaces Compile blueprint #37: Commit 9256c08 pushed by Jlh18
November 17, 2024 01:36 2m 42s master
master
November 17, 2024 01:36 2m 42s
feat: fix web blueprint (#27) Compile blueprint #36: Commit 69744a3 pushed by Vtec234
November 14, 2024 19:01 45m 35s master
master
November 14, 2024 19:01 45m 35s
chore: readd doc-gen Compile blueprint #35: Commit 8d6ab9b pushed by Vtec234
November 5, 2024 03:06 44m 39s master
master
November 5, 2024 03:06 44m 39s
Bump Lean to v4.14.0-rc1 (#26) Compile blueprint #34: Commit 83702fb pushed by Vtec234
November 5, 2024 03:00 2m 45s master
master
November 5, 2024 03:00 2m 45s
feat: split groupoid into several files & some cleanup (#25) Compile blueprint #33: Commit 701d213 pushed by Vtec234
November 5, 2024 00:44 11m 12s master
master
November 5, 2024 00:44 11m 12s
chore: more cleanup Compile blueprint #32: Commit 93770fd pushed by Vtec234
October 29, 2024 03:18 9m 56s master
master
October 29, 2024 03:18 9m 56s
feat: more lemmas Compile blueprint #31: Commit a4bee5c pushed by Vtec234
October 25, 2024 03:03 10m 3s master
master
October 25, 2024 03:03 10m 3s
finish ofTerm_ofType_correct Compile blueprint #30: Commit 9d2a01d pushed by digama0
October 24, 2024 22:43 9m 56s master
master
October 24, 2024 22:43 9m 56s
progress on ofTerm_ofType_correct Compile blueprint #29: Commit 92d181f pushed by digama0
October 23, 2024 20:21 42m 12s master
master
October 23, 2024 20:21 42m 12s
Merge pull request #17 from SpencerWoolfson/master Compile blueprint #28: Commit aa81a98 pushed by sinhp
October 4, 2024 17:59 3h 19m 49s master
master
October 4, 2024 17:59 3h 19m 49s
fix: bibliography Compile blueprint #27: Commit 04b7bf4 pushed by Jlh18
September 24, 2024 19:10 39m 19s master
master
September 24, 2024 19:10 39m 19s
feat: add nat model description of univalence Compile blueprint #26: Commit faf6745 pushed by Jlh18
September 24, 2024 17:12 38m 39s master
master
September 24, 2024 17:12 38m 39s
Update index.md Compile blueprint #25: Commit 398237c pushed by pitmonticone
September 10, 2024 12:55 9m 23s master
master
September 10, 2024 12:55 9m 23s
Merge pull request #22 from pitmonticone/update-blueprint Compile blueprint #24: Commit 5d895a2 pushed by Jlh18
September 7, 2024 18:02 8m 58s master
master
September 7, 2024 18:02 8m 58s
comment on discrete groupoid universe stability Compile blueprint #23: Commit 4145542 pushed by Jlh18
September 6, 2024 20:53 9m 50s master
master
September 6, 2024 20:53 9m 50s
doc: document CtxStack Compile blueprint #22: Commit 846ba95 pushed by Vtec234
September 6, 2024 18:35 9m 51s master
master
September 6, 2024 18:35 9m 51s
universe stable under Id Compile blueprint #21: Commit 0f4d6af pushed by Jlh18
September 6, 2024 01:48 11m 32s master
master
September 6, 2024 01:48 11m 32s
universe sigma stable Compile blueprint #20: Commit f7b1389 pushed by Jlh18
September 5, 2024 13:58 9m 4s master
master
September 5, 2024 13:58 9m 4s
universe init Compile blueprint #19: Commit f2f080d pushed by Jlh18
September 4, 2024 16:12 10m 35s master
master
September 4, 2024 16:12 10m 35s