Commit Graph

  • d424aa48a6 draft partowp 2026-06-19 16:32:57 +01:00
  • 3193f636aa more partowp 2026-06-18 18:08:04 +01:00
  • c7ea851920 4 defs! partowp 2026-06-17 17:05:46 +01:00
  • 84b82c5221 init partowp 2026-06-15 19:53:01 +01:00
  • f7fa996645 minor partowp 2026-06-14 19:23:23 +01:00
  • 984991f72b Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation partowp 2026-06-14 19:20:13 +01:00
  • 92c7ba03c3 minor partowp 2026-06-14 19:20:03 +01:00
  • 74efd4037a minor Pouya 2026-06-14 00:19:21 +01:00
  • c5e0e21128 cor Pouya 2026-06-14 00:11:10 +01:00
  • 720a02a87f proof! partowp 2026-06-13 23:40:47 +01:00
  • 08f1c1e782 minor partowp 2026-06-11 17:01:07 +01:00
  • 8f306095ee minor partowp 2026-06-11 13:16:53 +01:00
  • 3903cc0e30 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation sergey 2026-06-10 19:02:41 +01:00
  • 2043467149 pc sync sergey 2026-06-10 19:02:33 +01:00
  • 9a086b52c4 liftable partowp 2026-06-10 17:03:48 +01:00
  • 56aaf125b8 minor partowp 2026-06-10 16:33:33 +01:00
  • 2ec27ae5d6 resolved conflict sergey 2026-06-09 20:55:33 +01:00
  • d07e21f341 pc sync sergey 2026-06-09 20:53:59 +01:00
  • e32d1eabb1 sound and complete! partowp 2026-06-09 20:32:16 +01:00
  • b6319b44c8 naturally investigated partowp 2026-06-09 13:04:45 +01:00
  • 0ec805e878 some more partowp 2026-06-08 20:49:04 +01:00
  • 8d04e6eb5c Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation partowp 2026-06-07 19:48:20 +01:00
  • 820cafb397 no pdf! partowp 2026-06-07 19:48:13 +01:00
  • 623a358be3 minor partowp 2026-06-07 19:43:50 +01:00
  • ea627d6cfa minor sergey 2026-06-01 07:26:37 +01:00
  • 8fe6f17ee5 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation sergey 2026-05-28 21:15:50 +01:00
  • a3927e720b pc sync sergey 2026-05-28 21:15:47 +01:00
  • aea41d1451 removed pdf sergey 2026-05-26 17:34:44 +01:00
  • 14ae8190e8 pc sync sergey 2026-05-26 17:34:02 +01:00
  • c812597e18 minor partowp 2026-05-26 17:33:22 +01:00
  • 1a3e7ec1a9 proof and counter-example partowp 2026-05-26 16:25:28 +01:00
  • ae5636cb23 the equality partowp 2026-05-24 22:07:25 +01:00
  • 48728470f3 good partowp 2026-05-23 18:03:20 +01:00
  • 9b511e74b3 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation sergey 2026-05-23 00:54:20 +01:00
  • 6158afc09a pc sync sergey 2026-05-23 00:53:58 +01:00
  • ac7303d14a minor partowp 2026-05-22 17:51:31 +01:00
  • 85750ee1ee some props to prove partowp 2026-05-22 17:46:15 +01:00
  • 60a18af749 minor partowp 2026-05-22 17:34:13 +01:00
  • 46e6f44bd4 minor partowp 2026-05-22 15:57:32 +01:00
  • a0ace67136 abstract proof partowp 2026-05-22 15:29:09 +01:00
  • 3d98204684 a proof partowp 2026-05-21 13:55:20 +01:00
  • cb38aab263 2pp sergey 2026-05-21 10:08:28 +01:00
  • 31e7040e60 condencing sergey 2026-05-21 09:54:21 +01:00
  • 516bba6987 revised version sergey 2026-05-21 09:36:28 +01:00
  • 7725ac0eb1 wip sergey 2026-05-20 20:21:06 +01:00
  • 8eb27be8cd removed non-src files sergey 2026-05-20 18:06:43 +01:00
  • b72e235839 removed non-src files sergey 2026-05-20 18:04:38 +01:00
  • b90984ed90 pc sync sergey 2026-05-20 18:02:33 +01:00
  • 5964b1cfac incomplete draft partowp 2026-05-20 18:00:51 +01:00
  • c4b7a43bce minor partowp 2026-05-20 12:38:25 +01:00
  • f2f207936e proof partowp 2026-05-20 12:32:09 +01:00
  • dc05b47c2b prop partowp 2026-05-19 18:19:59 +01:00
  • 1839906c7c Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation sergey 2026-05-19 17:24:18 +01:00
  • 81474b5559 pc sync sergey 2026-05-19 17:24:03 +01:00
  • 3766e724c8 init partowp 2026-05-19 16:36:51 +01:00
  • 3b83b22ea4 counter-example edited partowp 2026-05-15 13:15:50 +01:00
  • 5efaa3619c minor partowp 2026-05-06 18:03:26 +01:00
  • 88a05b3653 minor partowp 2026-05-06 17:43:16 +01:00
  • 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