Skip to content

Actions: Takeo140/Meta-Axiom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 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
Update README.md Meta-Axiom CI #63: Commit 506594c pushed by Takeo140
2m 4s main
main
2m 4s
Update README.md Meta-Axiom CI #62: Commit 7a00bbd pushed by Takeo140
2m 4s main
main
2m 4s
Update README.md Meta-Axiom CI #61: Commit 8bdad8b pushed by Takeo140
1m 56s main
main
1m 56s
Update README.md Meta-Axiom CI #60: Commit 2e5f648 pushed by Takeo140
2m 3s main
main
2m 3s
Fix formatting issues and simplify minkowski_trace proof Meta-Axiom CI #59: Commit d99230c pushed by Takeo140
2m 8s main
main
2m 8s
Fix: Improve type class inference and proof clarity in Axioms.lean Meta-Axiom CI #58: Commit cbd1cd6 pushed by Takeo140
1m 58s main
main
1m 58s
Add ComputeMetaAxioms framework in CMA.lean Meta-Axiom CI #57: Commit 6f1a3aa pushed by Takeo140
2m 3s main
main
2m 3s
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