issues
search
teorth
/
equational_theories
A project to map out the relations between different equational theories of Magmas.
Apache License 2.0
74
stars
19
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[DO NOT MERGE] Deep-embed graph
#45
alxest
opened
1 minute ago
0
Auto-generated proofs for all laws trivially implying Eq2 (singleton) and Eq46 (constant)
#44
amirlb
opened
25 minutes ago
0
SUBGRAPH: Add the implications between 39 and the other equations as proof_wanted statements.
#43
teorth
opened
1 hour ago
0
Two more implications from equation 5
#42
gl3nnleblanc
closed
1 hour ago
1
update blueprint for new Subgraph namespace
#41
dwrensha
closed
2 hours ago
0
SUBGRAPH: Locate the duals of all equations currently in Subgraph.lean, and add the duals of all implications to the file
#40
teorth
opened
3 hours ago
0
SUBGRAPH: Prove that 38 and 42 are equivalent
#39
ChienYungChi
closed
54 minutes ago
1
SUBGRAPH: Prove that 38 and 42 are equivalent
#38
ChienYungChi
closed
3 hours ago
6
DATA: Expand `Equations.lean` to contain the entire set of equations
#37
teorth
opened
3 hours ago
0
API: Create an API to handle Magma words, equations, and implications as syntactic objects
#36
teorth
opened
3 hours ago
0
SUBGRAPH: Add the implications between 168 and the other equations as proof_wanted statements.
#35
teorth
opened
3 hours ago
0
SUBGRAPH: Prove that 38 and 42 are equivalent
#34
teorth
closed
54 minutes ago
3
SUBGRAPH: Prove that 39 and 42 are equivalent
#33
teorth
closed
1 hour ago
2
SUBGRAPH: Prove 5 does not imply 42, 43, 4513
#32
teorth
opened
4 hours ago
1
SUBGRAPH: Show 40 does not imply 3, 8, 42, 43, 4512; and 4, 387, 4582 does not imply 40
#31
teorth
opened
4 hours ago
1
SUBGRAPH: Add the implications between 8 and the other equations as proof_wanted statements.
#30
teorth
opened
4 hours ago
0
TOOL: Given one or more Lean files, extract the implication status of all equations appearing in the file
#29
teorth
opened
4 hours ago
6
Create labels-from-comments.yml
#28
Shreyas4991
closed
5 hours ago
0
Widget for rendering implication diagram
#27
0art0
opened
6 hours ago
1
Update CONTRIBUTING.md
#26
Shreyas4991
opened
6 hours ago
2
This is a test task
#25
Shreyas4991
opened
8 hours ago
1
fix up broken comment
#24
dwrensha
closed
8 hours ago
0
[DRAFT] Solutions for 53,905 cases by substituting+renaming variables
#23
carlini
opened
12 hours ago
2
add extract_implications.lean
#22
dwrensha
closed
1 hour ago
3
Equation 41 implies Equation 40
#21
ChienYungChi
closed
13 hours ago
0
Prove equations 41 and 46 are equivalent
#20
Shiney
closed
13 hours ago
1
Massive generation of refutations via polynomials over Z/nZ
#19
nomeata
opened
20 hours ago
1
Equation 7 implies equation 41, sort equations
#18
gl3nnleblanc
closed
16 hours ago
0
Correct typo: Equation4522 is sometimes called Equation 4552
#17
carlini
closed
23 hours ago
0
Typo in equation 4552 -> 4522
#16
carlini
closed
23 hours ago
0
feat: add code workspace
#15
bollu
closed
23 hours ago
0
add some docstrings
#14
edegeltje
closed
1 day ago
0
Script to generate a list of Most Wanted Implications
#13
mrinesi
closed
10 hours ago
3
Add equations of 1 variable and their implications
#12
vlad902
closed
19 hours ago
3
prove e6 and e7 equiv to e2
#11
edegeltje
closed
1 day ago
0
Add and remove `awaiting-CI` labels
#10
pitmonticone
closed
1 day ago
0
Update CONTRIBUTING.md
#9
Shreyas4991
closed
1 day ago
0
Updates available and ready to merge
#8
github-actions[bot]
closed
1 day ago
0
Add enough implications and counter-examples to place (3)
#7
amirlb
closed
1 day ago
0
Finish up the last 3 non-implications for the original 11 equalities
#6
amirlb
closed
1 day ago
0
generate_image: add --close and --filter flags
#5
asvarga
closed
1 day ago
0
Generate Progress Image
#4
asvarga
closed
1 day ago
0
feat: Added egg as dependency
#3
Shreyas4991
closed
1 day ago
0
fix: Update .gitpod.yml to correct typo
#2
Shreyas4991
closed
1 day ago
0
feat : Add support for gitpod
#1
Shreyas4991
closed
1 day ago
0