Commits

Branch selector

 stats-over-time

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 9, 2024

• Add code to backfill stats

  carlini

  committed
  eaad9d4

Commits on Oct 7, 2024

• fix ref (teorth#414)

  teorth

  authored
  851d3ec

• Add conjectures for implications covered by confluence arguments (teorth#413)

  Show description for 7fbbe3b
  amirlb

  authored
  7fbbe3b

• add confluent stuff to abstract nonsense (teorth#411)

  Show description for 5d488ac
  teorth

  authored
  5d488ac

• Update issue templates

  pitmonticone

  authored
  84313d5

• Create PULL_REQUEST_TEMPLATE.md

  pitmonticone

  committed
  dfe556a

• Extract implications: unknowns subcommands --duality flag (teorth#399)

  Show description for b14d9b3
  

  amirlb

  and

  pitmonticone

  authored
  b14d9b3

• Add a dedicated URL to send people to a random proof (teorth#408)

  Show description for 5b99a71
  

  carlini

  and

  pitmonticone

  authored
  5b99a71

• fix readme links to align with new blueprint URLs (teorth#409)

  Show description for fc480c4
  teorth

  authored
  fc480c4

• Add graphiti links to Equation Explorer (teorth#404)

  vlad902

  authored
  1f05607

• Blueprint (teorth#407)

  Show description for 9ada53e
  teorth

  authored
  9ada53e

• Use cleveref (teorth#400)

  pitmonticone

  authored
  78b431a

• move 953 implies 2 as it was not found by lean-egg (teorth#405)

  Show description for 9ca4390
  goens

  authored
  9ca4390

• LinearOps: Solve positive facts using ring_nf (26s → 10s) (teorth#402)

  Show description for 06cc0f7
  nomeata

  authored
  06cc0f7

• Graphiti: Add links to README/dashboard (teorth#403)

  Show description for 12cfae3
  vlad902

  authored
  12cfae3

• Add Graphiti: a tool to view graphs (teorth#401)

  vlad902

  authored
  4d95792

• Update index.md

  pitmonticone

  committed
  7e3442e

• fix broken links in index.md

  pitmonticone

  committed
  6e869dc

• fix broken links in index.md

  pitmonticone

  committed
  799c085

• Clean constant.tex

  pitmonticone

  committed
  4c809c3

• Format abstract_nonsense.tex

  pitmonticone

  committed
  f3df951

• Merge branch 'main' of https://github.com/teorth/equational_theories

  pitmonticone

  committed
  8e13420

• golf MagmaLaw

  pitmonticone

  committed
  6dac8b8

• Updates available and ready to merge (teorth#398)

  Show description for a404ba5
  

  github-actions[bot]

  and

  pitmonticone

  authored
  a404ba5

• Update Nat.lean

  pitmonticone

  committed
  e17b938

• better description for getting a random open problem (teorth#396)

  madvorak

  authored
  63d1594

• 'Advanced Equation Implication Table' is dead. Long live 'Equation Explorer'! (teorth#394)

  Show description for 2f97cc0
  carlini

  authored
  2f97cc0

• Merge branch 'main' of https://github.com/teorth/equational_theories

  pitmonticone

  committed
  83d4a21

• Update Compactness.lean

  pitmonticone

  committed
  3e5f9cd

• Metatheorem resolving all consequences of Equation1571 (teorth#341)

  Show description for a9301dc
  

  franklindyer

  and

  pitmonticone

  authored
  a9301dc

• Image_raw (teorth#395)

  Show description for 54bce15
  teorth

  authored
  54bce15

• Abstract_nonsense (teorth#392)

  Show description for 9110dd7
  teorth

  authored
  9110dd7

• Prove a random equation link (teorth#393)

  Show description for 7d73c44
  carlini

  authored
  7d73c44

• remove InfiniteModels.lean in favor of InfModel.lean (teorth#391)

  Show description for 20bd4f9
  dwrensha

  authored
  20bd4f9

• prove that eq3994 does not imply eq3588 (teorth#388)

  dwrensha

  authored
  05025ec

Pagination

PreviousNext