Commits

Branch selector

 2f89113

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 9, 2024

• Split examples of FactSyntax, remove unnecessary dependency in FreeMagma (teorth#460)

  Show description for 2f89113
  goens

  authored
  2f89113

• comment out MagmaLawExt.addEntry call that majorly slows down the build (teorth#465)

  Show description for c27789e
  dwrensha

  authored
  c27789e

• Typo fix in Definition 7.1 in asterix.tex (teorth#471)

  Show description for 94aeec5
  avi-levy

  authored
  94aeec5

• improved equation command (teorth#448)

  Show description for e93dde9
  digama0

  authored
  e93dde9

• use equation in Equations (teorth#461)

  madvorak

  authored
  e0ad5b6

• Update PULL_REQUEST_TEMPLATE.md

  pitmonticone

  committed
  5dcd9b2

• Update InfModel.lean

  pitmonticone

  committed
  99f9c81

• Update Homomorphisms.lean

  pitmonticone

  committed
  c88f7dd

• Update FreeComm.lean

  pitmonticone

  committed
  eeaef9d

• Add 'try this' links to proved equations (teorth#450)

  Show description for 3fc83cf
  

  carlini

  and

  pitmonticone

  authored
  3fc83cf

• consistent equation spacing (teorth#457)

  Show description for 2a5b2f0
  madvorak

  authored
  2a5b2f0

• the same typo was actually in three places (teorth#455)

  Show description for ba6490a
  

  madvorak

  and

  pitmonticone

  authored
  ba6490a

• subgraph style (teorth#454)

  Show description for 650abd6
  

  madvorak

  and

  pitmonticone

  authored
  650abd6

• Update style.scss

  pitmonticone

  committed
  d5c49c2

• aesthetic improvements to website and blueprint

  pitmonticone

  committed
  14fa38b

• fix typos in blueprint

  pitmonticone

  committed
  88b3f2e

• fix typo in graph_operations.md

  pitmonticone

  committed
  1ad5275

• Asterix (teorth#453)

  Show description for e00c081
  teorth

  authored
  e00c081

• typo (teorth#452)

  madvorak

  authored
  a2ce6d9

• latex-workshop

  pitmonticone

  committed
  fada00e

• golf Confluence

  pitmonticone

  committed
  9929d3c

• golf EquationLawConversion

  pitmonticone

  committed
  0a82f60

• Export equations (teorth#429)

  Show description for 345f865
  

  0art0

  and

  pitmonticone

  authored
  345f865

• Equations command modification (teorth#427)

  Show description for adc92cb
  

  0art0

  and

  pitmonticone

  authored
  adc92cb

Commits on Oct 8, 2024

• Revert "qa: run scripts/lean4lean_check.py as part of run_before_push.sh and pre-push.sh" (teorth#446)

  Show description for 534ac2f
  teorth

  authored
  534ac2f

• qa: run scripts/lean4lean_check.py as part of run_before_push.sh and pre-push.sh (teorth#445)

  Show description for 636282c
  euprunin

  authored
  636282c

• EquationSearch: speed-up build (teorth#441)

  Show description for d58d808
  vlad902

  authored
  d58d808

• Graphiti: Add option to show unknown edges (teorth#440)

  Show description for 5e82e8e
  vlad902

  authored
  5e82e8e

• Oct 8 dashboard (teorth#437)

  Show description for a326d6d
  teorth

  authored
  a326d6d

• Update 05-awaiting-review.yml

  pitmonticone

  committed
  cdab4ea

• make disclaim workflow more flexible

  pitmonticone

  committed
  c3707d2

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

  pitmonticone

  committed
  be362a7

• Update 01-claim-issue.yml

  pitmonticone

  committed
  a47e6bd

• [TEST] Make propose PR workflow more flexible (teorth#435)

  Show description for b998dd8
  pitmonticone

  authored
  b998dd8

• Update 03-propose-pr.yml

  pitmonticone

  committed
  2059764

Pagination

PreviousNext