Skip to content

Actions: MathNetwork/ProofAtlas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
273 workflow runs
273 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
6/25 ProofAtlas CI #273: Commit bd2cce0 pushed by longdie
1m 58s feat/proofstruct
feat/proofstruct
1m 58s
Refine description of PhysLib's dependence on MathLib ProofAtlas CI #272: Commit e9817e8 pushed by andreaevferrari
1m 10s docs/math-ideas
docs/math-ideas
1m 10s
Clarify PhysLib's dependency on MathLib ProofAtlas CI #271: Commit 2f9e1d3 pushed by andreaevferrari
1m 20s docs/math-ideas
docs/math-ideas
1m 20s
Correct capitalization of 'Physlib' in documentation ProofAtlas CI #270: Commit 9371d67 pushed by andreaevferrari
1m 9s docs/math-ideas
docs/math-ideas
1m 9s
Promised summary of current interests ProofAtlas CI #269: Commit 3efddf9 pushed by andreaevferrari
1m 28s docs/math-ideas
docs/math-ideas
1m 28s
docs(ideas): fix fabricated 'Conjecture 7.3' attribution + math errors ProofAtlas CI #268: Commit 40f3054 pushed by Benjyjf
1m 5s docs/math-ideas
docs/math-ideas
1m 5s
docs(ideas): fix ยง3.5 attribution, add verified References ProofAtlas CI #267: Commit 7d471c4 pushed by Benjyjf
2m 26s docs/math-ideas
docs/math-ideas
2m 26s
6/14 ProofAtlas CI #266: Commit 854d918 pushed by longdie
1m 17s feat/proofstruct
feat/proofstruct
1m 17s
6/8 ProofAtlas CI #265: Commit 24ca7d1 pushed by longdie
31s feat/proofstruct
feat/proofstruct
31s
6/6 ProofAtlas CI #264: Commit 0b735e2 pushed by longdie
1m 15s feat/proofstruct
feat/proofstruct
1m 15s
Add ProofStruct blueprint extractor ProofAtlas CI #263: Commit 56d66d5 pushed by longdie
1m 41s feat/proofstruct
feat/proofstruct
1m 41s
chore: simplify to feature โ†’ main, drop development layer (#80) ProofAtlas CI #262: Commit 7fc4418 pushed by zhifeizhu92
1m 8s metric-analysis
metric-analysis
1m 8s
docs(spec): sync specs to the LeanScreen reality ProofAtlas CI #261: Commit ba7c7f0 pushed by Xinze-Li-Moqian
2m 5s feat/hypergraph
feat/hypergraph
2m 5s
feat(infoview): make the graph's node size, arrows, and background props ProofAtlas CI #260: Commit 1604ba4 pushed by Xinze-Li-Moqian
1m 57s feat/hypergraph
feat/hypergraph
1m 57s
docs(hypergraph): use '1 + 2' as the demo example ProofAtlas CI #259: Commit 3f5f4e9 pushed by Xinze-Li-Moqian
1m 29s feat/hypergraph
feat/hypergraph
1m 29s
docs: trim StructuralHypergraph.Basic module docstring ProofAtlas CI #258: Commit 10f22fa pushed by Xinze-Li-Moqian
1m 25s feat/hypergraph
feat/hypergraph
1m 25s
perf(project): use Std.HashMap for the cidOf memo (O(nยฒ) โ†’ O(n)) ProofAtlas CI #257: Commit 6f23df1 pushed by Xinze-Li-Moqian
1m 22s feat/hypergraph
feat/hypergraph
1m 22s
feat(proof): colour the inference edges of ๐’ฐ (Curry-Howard) ProofAtlas CI #256: Commit f060f92 pushed by Xinze-Li-Moqian
1m 20s feat/hypergraph
feat/hypergraph
1m 20s
feat(project): @publish and the project hypergraph ๐’ซ (the atlas) ProofAtlas CI #255: Commit e1b4207 pushed by Xinze-Li-Moqian
1m 19s feat/hypergraph
feat/hypergraph
1m 19s
refactor: rename ExprHypergraph โ†’ StructuralHypergraph (align with ๐’ฎ) ProofAtlas CI #254: Commit 227a196 pushed by Xinze-Li-Moqian
1m 22s feat/hypergraph
feat/hypergraph
1m 22s
chore: simplify to feature โ†’ main, drop development layer (#80) ProofAtlas CI #253: Commit 7fc4418 pushed by Xinze-Li-Moqian
1m 6s feat/hypergraph
feat/hypergraph
1m 6s
chore: simplify to feature โ†’ main, drop development layer (#80) ProofAtlas CI #252: Commit 7fc4418 pushed by Xinze-Li-Moqian
1m 4s main
main
1m 4s
chore: simplify to feature โ†’ main, drop development layer ProofAtlas CI #251: Pull request #80 opened by Xinze-Li-Moqian
1m 3s chore/simplify-branching
chore/simplify-branching
1m 3s
chore: simplify to feature โ†’ main, drop development layer ProofAtlas CI #250: Commit bd3d631 pushed by Xinze-Li-Moqian
1m 4s chore/simplify-branching
chore/simplify-branching
1m 4s
Merge pull request #79 from MathNetwork/development ProofAtlas CI #249: Commit 00915ad pushed by Xinze-Li-Moqian
1m 40s main
main
1m 40s