Releases: teorth/equational_theories
Releases · teorth/equational_theories
Arxiv v2 submission version
The paper from this commit has been submitted as the v2 version on arxiv
What's Changed
- [CONTRIBUTIONS] Port Bruno's equation numbering code to ruby. by @Osalotioman in #1247
- Update blueprint-paper.yml by @Shreyas4991 in #1257
- Commentary for June by @blefloch in #1256
- Codyroux/paper canon by @codyroux in #1259
- Commentary early July by @blefloch in #1260
- Fix references in the blueprint by @blefloch in #1261
- Blueprint: change references to laws to E4512 etc. as in the paper by @blefloch in #1262
- Document the 820 Austin implications by @blefloch in #1263
- Modifying magmas by @dsm054 in #1255
- add CITATION.cff by @teorth in #1265
- I use my name without accents on papers by @madvorak in #1266
- Commentary on almost all laws by @blefloch in #1267
- fix bad references. (Will fix underfull boxes etc. later) by @teorth in #1268
- fix some hboxes by @teorth in #1269
- Minor fixes for typos etc. by @dsm054 in #1264
- fix typos by @teorth in #1270
- [PAPER]: fix overfull hbox GraphML table by @pitmonticone in #1271
- More editing by @dsm054 in #1272
- Bump xu-cheng/texlive-action from 2 to 3 by @dependabot[bot] in #1273
- Adding vampire data. by @MikolasJanota in #1274
- fix typos in paper by @teorth in #1275
- fix typo in variety by @teorth in #1276
- fix 1286 facts about smallest model by @teorth in #1277
- fix wording of 1659 !->4315 construction by @teorth in #1279
- fix typo by @teorth in #1280
- fix: remove incorrect statement in paper about canonizers. by @codyroux in #1281
- I don't use accents in my name on papers by @madvorak in #1282
- Bump actions/checkout from 4 to 5 by @dependabot[bot] in #1284
- Bump leanprover-community/lean-release-tag from 0a978e45247f1ef211cd9d7f99d0dbd87638a70a to 92561973391c1d265d18c6d5dfc424079cf5dd13 by @dependabot[bot] in #1283
- fix: Minor typos caught by Douglas McNeil (thanks!). by @codyroux in #1285
- Pass on Section 7 by @marcusrossel in #1286
- correct conclusions by @teorth in #1287
- Section of the paper on the full spectrum problem (closes #1029) by @blefloch in #1289
- [PAPER]: Project Issues and Management by @Shreyas4991 in #1038
- Fixed subsection for zulip chat. It was a section. It is now a subsec… by @Shreyas4991 in #1290
- some cleanup by @teorth in #1292
- a bit more cleaning by @teorth in #1293
- write a section on the finite magma case by @teorth in #1294
- Update intro.tex by @MarioKrenn6240 in #1295
- chore: fix typo "gorum" -> "forum" by @llllvvuu in #1296
- [CONTRIBUTIONS]: Add affiliation for Bernhard Reinke by @b-reinke in #1297
- make all equations Roman E by @teorth in #1298
- Remove superfluous parenthesis from Tarski's axiom by @teorth in #1299
- Commentary for the Equation Explorer by @blefloch in #1300
- Bump actions/github-script from 7 to 8 by @dependabot[bot] in #1301
- more fixes (esp. of equation italics) by @teorth in #1302
- fix latex error by @teorth in #1303
- adjust font in Fig 3 by @teorth in #1304
- add E to equations by @teorth in #1305
- [CONTRIBUTIONS]: Jose Brox by @JoseBrox in #1307
- [CONTRIBUTIONS]: Fernando Vaquerizo-Villar by @JoseBrox in #1308
- Commentary on the quasigroup case by @blefloch in #1310
- Reduce the 232-element counterexample of law 1518 to just 15 elements by @blefloch in #1311
- fix asterix blueprint by @teorth in #1313
- [PAPER]: Remove GraphML section from
main.texby @pitmonticone in #1314 - fix cleveref issue; reorder bullet list by @teorth in #1315
- remove a reference to a now deleted section by @teorth in #1316
- fix font of variables in appendix by @teorth in #1317
- update primal magma remark and associativity wording by @teorth in #1318
- fix fonts by @teorth in #1319
- fix capitalization issues in bib by @teorth in #1320
- fix equality symbol by @teorth in #1321
- vdash to models by @teorth in #1322
- fix wording by @teorth in #1323
- more edits by @teorth in #1324
- Higman-Neumann section of the paper by @blefloch in #1325
- PAPER - 11.1 CNN REPORT by @JoseBrox in #1309
- implement small changes by @teorth in #1326
- fix typo by @teorth in #1328
- Add affiliation / adjust contribution by @Timeroot in #1327
- add contact by @teorth in #1330
- Add affiliation and email by @Aaron1011 in #1329
- add contrib by @teorth in #1331
- [CONTRIBUTIONS]: Anand Rao Tadipatri by @0art0 in #1333
- Update main.tex by @JoseBrox in #1332
- More-updates by @teorth in #1334
- change order to size for magmas by @teorth in #1336
- Remove reporting on empirical data by @teorth in #1337
- change obey to satisfy by @teorth in #1338
- Correct numbers at the start of section 5 and various typos by @blefloch in #1335
- The change from obey to satisfy had lost some words "obeys" completely by @blefloch in #1339
- [CONTRIBUTIONS]: Hernán Ibarra Mejia by @nagbu1 in #1340
- More-fixes by @teorth in #1343
- restoring more "satisfies" by @teorth in #1344
- avoid G = (G,\cdot) type abuse of notation by @teorth in #1345
- fix affiliation/email by @goens in #1346
- [CONTRIBUTION] Shreyas Srinivas by @Shreyas4991 in #1341
- fix: contributions of Hernán Ibarra Mejia by @nagbu1 in #1342
- [CONTRIBUTIONS]: Mario Carneiro by @digama0 in #1347
- Sentence-case by @teorth in #1349
- remove subsections from ToC by @teorth in #1350
- more typos by @teorth in #1351
- Fix typo, redundant sentences, lowercase authors...
v4.20.1
Automated release for Lean version v4.20.1
v4.20.0
Automated release for Lean version v4.20.0
v4.20.0-rc5
Automated release for Lean version v4.20.0-rc5