Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• ea627d6cfa minor master Sergey Goncharov 2026-06-01 07:26:37 +01:00
• 8fe6f17ee5 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation Sergey Goncharov 2026-05-28 21:15:50 +01:00
• a3927e720b pc sync Sergey Goncharov 2026-05-28 21:15:47 +01:00
• aea41d1451 removed pdf Sergey Goncharov 2026-05-26 17:34:44 +01:00
• 14ae8190e8 pc sync Sergey Goncharov 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 Goncharov 2026-05-23 00:54:20 +01:00
• 6158afc09a pc sync Sergey Goncharov 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 Goncharov 2026-05-21 10:08:28 +01:00
• 31e7040e60 condencing Sergey Goncharov 2026-05-21 09:54:21 +01:00
• 516bba6987 revised version Sergey Goncharov 2026-05-21 09:36:28 +01:00
• 7725ac0eb1 wip Sergey Goncharov 2026-05-20 20:21:06 +01:00
• 8eb27be8cd removed non-src files Sergey Goncharov 2026-05-20 18:06:43 +01:00
• b72e235839 removed non-src files Sergey Goncharov 2026-05-20 18:04:38 +01:00
• b90984ed90 pc sync Sergey Goncharov 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 Goncharov 2026-05-19 17:24:18 +01:00
• 81474b5559 pc sync Sergey Goncharov 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 Goncharov 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 Goncharov 2026-04-22 14:50:46 +01:00
• ae6accf047 Remove submodule TexCommon Sergey Goncharov 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