Skip to content

Actions: MostAwesomeDude/brismu

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix build. .github/workflows/main.yml #42: Commit 3ea9578 pushed by MostAwesomeDude
July 19, 2024 11:01 59s master
master
July 19, 2024 11:01 59s
Prove ~gripau-sym properly. .github/workflows/main.yml #41: Commit f2d6ca4 pushed by MostAwesomeDude
July 19, 2024 11:00 40s master
master
July 19, 2024 11:00 40s
Document Core(Loj). .github/workflows/main.yml #40: Commit f6ce263 pushed by MostAwesomeDude
July 12, 2024 03:23 1m 9s master
master
July 12, 2024 03:23 1m 9s
Add more theorems for Selb. .github/workflows/main.yml #39: Commit 74eb046 pushed by MostAwesomeDude
July 1, 2024 07:47 59s master
master
July 1, 2024 07:47 59s
Cite 1Lab to justify Selb. .github/workflows/main.yml #38: Commit 37c745f pushed by MostAwesomeDude
June 30, 2024 23:26 1m 1s master
master
June 30, 2024 23:26 1m 1s
I'm checking in another unproved theorem. .github/workflows/main.yml #37: Commit 7475360 pushed by MostAwesomeDude
June 26, 2024 17:27 1m 1s master
master
June 26, 2024 17:27 1m 1s
Shorten proof of ~simsa-mintu. .github/workflows/main.yml #36: Commit 8a4db33 pushed by MostAwesomeDude
June 25, 2024 21:31 1m 0s master
master
June 25, 2024 21:31 1m 0s
Helpers for restricted quantification. .github/workflows/main.yml #35: Commit 8a36302 pushed by MostAwesomeDude
June 25, 2024 21:25 1m 4s master
master
June 25, 2024 21:25 1m 4s
Justify {du} properties in terms of {go} properties. .github/workflows/main.yml #34: Commit c227e22 pushed by MostAwesomeDude
June 23, 2024 21:05 54s master
master
June 23, 2024 21:05 54s
Define {fa'u}. .github/workflows/main.yml #33: Commit db63535 pushed by MostAwesomeDude
June 16, 2024 22:24 58s master
master
June 16, 2024 22:24 58s
Add some relation types. .github/workflows/main.yml #32: Commit 661544c pushed by MostAwesomeDude
May 17, 2024 18:25 57s master
master
May 17, 2024 18:25 57s
Consistently use {kei} to terminate {ka}. .github/workflows/main.yml #31: Commit c7cf1da pushed by MostAwesomeDude
May 15, 2024 23:36 1m 6s master
master
May 15, 2024 23:36 1m 6s
Really start digging into space & spacetime. .github/workflows/main.yml #30: Commit b2e882e pushed by MostAwesomeDude
May 13, 2024 21:17 58s master
master
May 13, 2024 21:17 58s
Automatically axiomatize the class of colors. .github/workflows/main.yml #29: Commit 852b47b pushed by MostAwesomeDude
March 20, 2024 07:59 56s master
master
March 20, 2024 07:59 56s
Possibly figure out cultural gismu. .github/workflows/main.yml #28: Commit b7f77f2 pushed by MostAwesomeDude
March 15, 2024 04:51 58s master
master
March 15, 2024 04:51 58s
Define {fatci}. .github/workflows/main.yml #27: Commit 6df4003 pushed by MostAwesomeDude
March 11, 2024 02:17 54s master
master
March 11, 2024 02:17 54s
Turn some miscellaneous notes into axioms. .github/workflows/main.yml #26: Commit 38a9d59 pushed by MostAwesomeDude
February 26, 2024 08:55 57s master
master
February 26, 2024 08:55 57s
More properties of endorelations. .github/workflows/main.yml #25: Commit 841152b pushed by MostAwesomeDude
January 26, 2024 22:33 37s master
master
January 26, 2024 22:33 37s
Credit two more Lojbanists with interesting insights. .github/workflows/main.yml #24: Commit 5345cc6 pushed by MostAwesomeDude
January 22, 2024 19:28 46s master
master
January 22, 2024 19:28 46s
Start implementing partial functions. .github/workflows/main.yml #23: Commit bf0a54b pushed by MostAwesomeDude
September 18, 2023 02:28 46s master
master
September 18, 2023 02:28 46s
Automatically generate posetal logic from diagrams. .github/workflows/main.yml #22: Commit bce534b pushed by MostAwesomeDude
September 12, 2023 16:53 1m 11s master
master
September 12, 2023 16:53 1m 11s
Formalize the first bit of mereology. .github/workflows/main.yml #21: Commit b7ee0a4 pushed by MostAwesomeDude
September 4, 2023 18:15 1m 49s master
master
September 4, 2023 18:15 1m 49s
Isolate category of selbri and gather geometry valsi. .github/workflows/main.yml #20: Commit 8528110 pushed by MostAwesomeDude
August 29, 2023 16:50 1m 37s master
master
August 29, 2023 16:50 1m 37s
Generate dependencies.dot from Metamath DB. .github/workflows/main.yml #19: Commit a336bd5 pushed by MostAwesomeDude
August 25, 2023 19:24 1m 36s master
master
August 25, 2023 19:24 1m 36s
Get a bunch of axioms from the notes into Metamath. .github/workflows/main.yml #18: Commit 37dbd8d pushed by MostAwesomeDude
August 21, 2023 04:05 1m 39s master
master
August 21, 2023 04:05 1m 39s