Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 10, 2024

• graphiti: Make top bar more visible/readable (#1017)

  vlad902

  authored
  3b80682

Commits on Dec 6, 2024

• [CI]: Add paper workflow (#990)

  Show description for ccc913e
  pitmonticone

  authored
  ccc913e

Commits on Nov 17, 2024

• Fix I'm feeling lucky button (#842)

  Show description for 2293124
  vlad902

  authored
  2293124

Commits on Nov 12, 2024

• Equation Explorer + Graphiti: Finite Graph support (#826)

  Show description for d419785
  vlad902

  authored
  d419785

Commits on Nov 10, 2024

• refactor: Equation Explorer graph representation (#805)

  Show description for facb53c
  vlad902

  authored
  facb53c

Commits on Nov 2, 2024

• Add a "Show Proof" button to the equation explorer. (#766)

  Show description for f938f68
  amirlb

  authored
  f938f68

Commits on Nov 1, 2024

• Graphiti: Add mode to see 'neighborhoods' (#776)

  Show description for bd14be2
  vlad902

  authored
  bd14be2

Commits on Oct 22, 2024

• Update script run instructions in FME

  pitmonticone

  committed
  5e4057d

• Fix GitHub AP warning

  pitmonticone

  committed
  99ebb4f

• Equation Explorer speed-up (#710)

  Show description for dc57f2d
  vlad902

  authored
  dc57f2d

Commits on Oct 21, 2024

• Make Equation Explorer faster (#705)

  Show description for f57bba9
  vlad902

  authored
  f57bba9

Commits on Oct 19, 2024

• Graphiti: better render duality (#637)

  Show description for b6ef1f2
  

  vlad902

  and

  pitmonticone

  authored
  b6ef1f2

Commits on Oct 18, 2024

• Add Functionality to Equation Explorer to Download Raw Implications Table (#628)

  Show description for 2838df3
  Joe-McCann

  authored
  2838df3

• Equation Explorer: Search by Number and Download Explorer CSV (#625)

  Show description for 1823299
  Joe-McCann

  authored
  1823299

Commits on Oct 17, 2024

• new link in readme.md (#619)

  teorth

  authored
  788d669

Commits on Oct 16, 2024

• add link to README; update index.md (#611)

  teorth

  authored
  97cf00a

Commits on Oct 13, 2024

• Add button to hide fully-solved equations (#546) (#560)

  Show description for 1ecff6a
  vlad902

  authored
  1ecff6a

• Bold highlight equations with commentary (#547) (#556)

  Show description for 3efb3f0
  vlad902

  authored
  3efb3f0

• Make zulip links permalinks (issue #549) (#554)

  Show description for c2e04a3
  vlad902

  authored
  c2e04a3

• Move older progress to another file; fix typo (#545)

  Show description for dd8bef0
  teorth

  authored
  dd8bef0

• English grammar (#542)

  Show description for 9240baa
  madvorak

  authored
  9240baa

Commits on Oct 12, 2024

• chore: fix spelling mistakes in the graphiti web interface (#539)

  Show description for e368e3c
  euprunin

  authored
  e368e3c

• EQUATION_EXPLORER: List smallest non-trivial finite magmas associated to each equation (#529)

  Show description for 0f22fe6
  few

  authored
  0f22fe6

• graphiti: Add checkbox for sporadic equations (#532)

  Show description for ce75901
  vlad902

  authored
  ce75901

Commits on Oct 11, 2024

• Fix issue #507 (#522)

  Show description for c275f1a
  vlad902

  authored
  c275f1a

• Change graphiti layout for unknown edges (#508)

  vlad902

  authored
  42fd75f

Commits on Oct 10, 2024

• split AllEquations into pieces for more parallelism (#472)

  Show description for abf2c24
  

  digama0

  and

  pitmonticone

  authored
  abf2c24

• Fix inverted proof link (#473)

  carlini

  authored
  5c3cb65

Commits on Oct 9, 2024

• update home page to match readme (#474)

  teorth

  authored
  56b8d4d

• FiniteMagmaExplorer: integrate into project repo (#332) (#468)

  zaklogician

  authored
  933f3c3

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

  Show description for 3fc83cf
  

  carlini

  and

  pitmonticone

  authored
  3fc83cf

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

  Show description for ba6490a
  

  madvorak

  and

  pitmonticone

  authored
  ba6490a

• Update style.scss

  pitmonticone

  committed
  d5c49c2

• aesthetic improvements to website and blueprint

  pitmonticone

  committed
  14fa38b

• typo (#452)

  madvorak

  authored
  a2ce6d9

Pagination

PreviousNext