Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 9da54440e4 sync sergey 2026-05-06 16:06:43 +01:00
• c62bf13250 one-sided barr relator partowp 2026-05-06 15:54:12 +01:00
• 6322012193 gitignore partowp 2026-05-06 11:01:45 +01:00
• 279d85e575 minor partowp 2026-05-06 10:46:28 +01:00
• c2229c444c minor partowp 2026-05-05 23:45:00 +01:00
• 7987954846 more partowp 2026-05-05 21:16:06 +01:00
• 03c3abc624 more editting partowp 2026-05-05 20:50:52 +01:00
• 833d86e0ba Egli-Milner proof partowp 2026-05-05 20:40:22 +01:00
• 107d2d0efb more props added partowp 2026-05-05 18:26:02 +01:00
• e60e3d4a1d does it work? partowp 2026-05-05 16:50:22 +01:00
• 0ba2dd8c19 ACfull proof partowp 2026-05-04 20:29:38 +01:00
• ed01ebf5bf counter-example partowp 2026-05-03 19:47:03 +01:00
• d572b575d3 lem partowp 2026-05-02 19:28:40 +01:00
• 2e72ee275f more partowp 2026-04-30 20:45:29 +01:00
• f573e583eb more wrtiting partowp 2026-04-30 17:15:13 +01:00
• 206e1ef59b a small prop partowp 2026-04-29 14:58:33 +01:00
• e9bc1cba67 some statements added partowp 2026-04-29 00:08:18 +01:00
• 53255e898c definitions partowp 2026-04-28 14:23:01 +01:00
• 484bb73af8 moreo partowp 2026-04-28 01:46:57 +01:00
• 986b6bdb24 more partowp 2026-04-27 14:58:48 +01:00
• 97250da9dd draft polished partowp 2026-04-26 01:20:43 +01:00
• e473cfeabb def partowp 2026-04-24 21:41:46 +01:00
• 8cd257a929 lem Pouya 2026-04-22 22:27:19 +01:00
• ce7851c354 more partowp 2026-04-22 19:59:54 +01:00
• e54ecd3472 rebased on TexCommons sergey 2026-04-22 14:50:46 +01:00
• ae6accf047 Remove submodule TexCommon sergey 2026-04-22 14:49:08 +01:00
• e8a4210c0e edited partowp 2026-04-19 00:10:59 +01:00
• a888ed095a the abstract proof partowp 2026-04-17 19:27:15 +01:00
• 7a8026a782 delta partowp 2026-04-16 14:52:48 +01:00
• 41912f4e54 init partowp 2026-04-16 14:16:14 +01:00
• 1fd30f15b8 init partowp 2026-03-23 17:02:24 +00:00
• e5b2b36c04 init partowp 2026-03-23 17:01:25 +00:00
• a702a6a072 Initial commit pouya 2026-03-23 17:40:45 +01:00