Skip to content

Actions: Takeo140/Meta-Axiom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
75 workflow runs
75 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Revise Collatz conjecture formalization and structure Meta-Axiom CI #56: Commit b26c550 pushed by Takeo140
1m 53s main
main
1m 53s
Update copyright and attribution in NOTICE file Meta-Axiom CI #55: Commit aae5437 pushed by Takeo140
2m 26s main
main
2m 26s
Add NOTICE file for copyright and attribution Meta-Axiom CI #54: Commit 7149490 pushed by Takeo140
2m 17s main
main
2m 17s
Revise LICENSE to Apache License 2.0 Meta-Axiom CI #53: Commit 2d7522f pushed by Takeo140
1m 58s main
main
1m 58s
Change license from approach2.0 to Apache2.0 Meta-Axiom CI #52: Commit 8eb317d pushed by Takeo140
1m 59s main
main
1m 59s
Fix capitalization in LICENSE file Meta-Axiom CI #51: Commit d81ed0b pushed by Takeo140
2m 47s main
main
2m 47s
Update license from approach2.0 to apache2.0 Meta-Axiom CI #50: Commit feee2b8 pushed by Takeo140
2m 0s main
main
2m 0s
Change license from CC BY 4.0 to approach2.0 Meta-Axiom CI #49: Commit 1fd8b81 pushed by Takeo140
1m 46s main
main
1m 46s
Change LICENSE to approach2.0 Meta-Axiom CI #48: Commit df50260 pushed by Takeo140
1m 57s main
main
1m 57s
Update Collatz.lean Meta-Axiom CI #47: Commit 6368073 pushed by Takeo140
2m 19s main
main
2m 19s
Update README.md Meta-Axiom CI #46: Commit cc091c3 pushed by Takeo140
1m 54s main
main
1m 54s
Update README.md Meta-Axiom CI #45: Commit f83751a pushed by Takeo140
1m 59s main
main
1m 59s
Update README.md Meta-Axiom CI #44: Commit 7945b6b pushed by Takeo140
1m 48s main
main
1m 48s
Update README.md Meta-Axiom CI #43: Commit 68d4ad1 pushed by Takeo140
1m 49s main
main
1m 49s
Rename Metaaxioma.lean to Metaaxiom.lean Meta-Axiom CI #42: Commit 12202a6 pushed by Takeo140
1m 50s main
main
1m 50s
Implement F-Theory Meta-Axioms and theorems Meta-Axiom CI #41: Commit dae1c90 pushed by Takeo140
1m 53s main
main
1m 53s
Rename collatz.lean to Collatz.lean Meta-Axiom CI #40: Commit db9b9bd pushed by Takeo140
1m 47s main
main
1m 47s
Add MetaRepair module for biological sequence analysis Meta-Axiom CI #39: Commit dd31943 pushed by Takeo140
1m 47s main
main
1m 47s
Implement Collatz Conjecture formalization in Lean Meta-Axiom CI #38: Commit bf5df43 pushed by Takeo140
1m 44s main
main
1m 44s
Update Derivations.lean Meta-Axiom CI #37: Commit 5be2587 pushed by Takeo140
2m 5s main
main
2m 5s
Update Derivations.lean Meta-Axiom CI #36: Commit 647fc74 pushed by Takeo140
2m 4s main
main
2m 4s
Update Axioms.lean Meta-Axiom CI #35: Commit 561789c pushed by Takeo140
2m 11s main
main
2m 11s
Create Ftheory.lean Meta-Axiom CI #34: Commit bf650ed pushed by Takeo140
2m 2s main
main
2m 2s
Create Dna.lean Meta-Axiom CI #33: Commit f3f6782 pushed by Takeo140
1m 54s main
main
1m 54s
Update ci.yml Meta-Axiom CI #32: Commit 28134a0 pushed by Takeo140
2m 2s main
main
2m 2s