Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 16, 2025

• Prepare arxiv v2 (#1424)

  Show description for 14cf5e2
  blefloch

  authored
  14cf5e2

  Copy full SHA for 14cf5e2

Commits on Dec 15, 2025

• Use listings instead of minted (#1423)

  Show description for c1036fe
  blefloch

  authored
  c1036fe

  Copy full SHA for c1036fe

• [PAPER] Keep `_minted` directory (#1422)

  marcusrossel

  authored
  0a182fc

  Copy full SHA for 0a182fc

Commits on Dec 14, 2025

• add blueprint ref (#1421)

  teorth

  authored
  9bec782

  Copy full SHA for 9bec782

• fix: prevent explorer from displaying any data for tautological equations, and improve error display (#1416)

  Show description for 8362334
  Osalotioman

  authored
  8362334

  Copy full SHA for 8362334

• make subsections consistent (#1420)

  teorth

  authored
  5714599

  Copy full SHA for 5714599

• Paper dec13 improvements (#1419)

  Show description for 73a6e56
  blefloch

  authored
  73a6e56

  Copy full SHA for 73a6e56

• [PAPER] Fix a name in author list (#1418)

  Show description for 05c09e6
  zaklogician

  authored
  05c09e6

  Copy full SHA for 05c09e6

• [PAPER] Small changes: figures and thanks (#1417)

  Show description for 9ac7b19
  JoseBrox

  authored
  9ac7b19

  Copy full SHA for 9ac7b19

Commits on Dec 11, 2025

• updated hard list (#1415)

  teorth

  authored
  80d5e99

  Copy full SHA for 80d5e99

Commits on Dec 10, 2025

• Added hard chapter (#1414)

  teorth

  authored
  d5d2e24

  Copy full SHA for d5d2e24

• fix: Update I'm feeling lucky not to error out when there are No unsolved implications found (#1413)

  Show description for 50755f9
  Osalotioman

  authored
  50755f9

  Copy full SHA for 50755f9

• [PAPER] Update reference to `egg` tactic (#1405)

  Show description for 5e07006
  marcusrossel

  authored
  5e07006

  Copy full SHA for 5e07006

• separate vdash and models in blueprint (#1412)

  teorth

  authored
  764bfa5

  Copy full SHA for 764bfa5

Commits on Dec 9, 2025

• Let the Equation Explorer parse equations again (see #1409) (#1410)

  blefloch

  authored
  ad8f91f

  Copy full SHA for ad8f91f

• update acknowledgment (#1408)

  teorth

  authored
  bc2c626

  Copy full SHA for bc2c626

• [PAPER] Use the latex minted package for lean code formatting (#1406)

  Show description for f793675
  marcusrossel

  authored
  f793675

  Copy full SHA for f793675

Commits on Dec 8, 2025

• Correct CITATION.cff, add ORCIDs of some coauthors (#1407)

  blefloch

  authored
  05ac93c

  Copy full SHA for 05ac93c

• [CONTRIBUTIONS]: Douglas McNeil (#1404)

  Show description for 44ac0e6
  dsm054

  authored
  44ac0e6

  Copy full SHA for 44ac0e6

Commits on Dec 7, 2025

• Enlarge the Equation Explorer figure, avoid bad page breaks (#1403)

  Show description for 42ac9e1
  blefloch

  authored
  42ac9e1

  Copy full SHA for 42ac9e1

• chore: Fix truncation in magma-egg-example.png and update equation explorer image (GUI-equation-explorer.png) of Equation42 (#1402)

  Show description for 8be2429
  Osalotioman

  authored
  8be2429

  Copy full SHA for 8be2429

• Paper fixes (#1401)

  blefloch

  authored
  3980355

  Copy full SHA for 3980355

Commits on Dec 6, 2025

• Update max_weight image (#1400)

  Show description for c47e456
  JoseBrox

  authored
  c47e456

  Copy full SHA for c47e456

• [PAPER] Cleanup after addition of section 7.3 (#1399)

  harahu

  authored
  25c737c

  Copy full SHA for 25c737c

• [PAPER] Update Section 7.3 (#1398)

  Show description for 24ac279
  JoseBrox

  authored
  24ac279

  Copy full SHA for 24ac279

• Misc fixes to the paper, especially the bibliography (#1397)

  Show description for 1860b10
  blefloch

  authored
  1860b10

  Copy full SHA for 1860b10

• [PAPER] ATPs usage, Section 7.3 (and some other small changes) (#1391)

  Show description for 6cab0aa
  

  JoseBrox

  and

  harahu

  authored
  6cab0aa

  Copy full SHA for 6cab0aa

• \,---\, (#1395)

  Show description for 8d1ba07
  madvorak

  authored
  8d1ba07

  Copy full SHA for 8d1ba07

• [PAPER] Fix typos, grammar, and formatting in paper (#1396)

  Show description for 4d634d6
  

  harahu

  and

  claude

  authored
  4d634d6

  Copy full SHA for 4d634d6

Commits on Dec 5, 2025

• [PAPER] Fix typos and punctuation in paper (#1394)

  Show description for db8c5dd
  

  harahu

  and

  claude

  authored
  db8c5dd

  Copy full SHA for db8c5dd

• [PAPER] Last minute typo fixes (#1393)

  Show description for 82ad224
  harahu

  authored
  82ad224

  Copy full SHA for 82ad224

• [ENHANCE] Improve Commentary Display (#1386)

  Show description for 6e19129
  

  Osalotioman

  and

  vlad902

  authored
  6e19129

  Copy full SHA for 6e19129

• [PAPER] Update Harald Husum affiliation to Intelecy (#1392)

  harahu

  authored
  dbe904b

  Copy full SHA for dbe904b

Commits on Dec 4, 2025

• Commentary about large models and more (#1390)

  Show description for b5a7949
  blefloch

  authored
  b5a7949

  Copy full SHA for b5a7949

Commits on Dec 2, 2025

• Bump actions/checkout from 5 to 6 (#1389)

  dependabot[bot]

  authored
  3eebce0

  Copy full SHA for 3eebce0

Pagination

Previous

Next