pouya/coalgebraic-simulation
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • f7df0d21ea liftablity master partowp 2026-07-31 15:58:02 +01:00
  • 3090215662 list partowp 2026-07-31 15:57:22 +01:00
  • e4ac0c6797 a prop partowp 2026-07-28 15:27:41 +01:00
  • 89aeaf7461 the prop partowp 2026-07-28 12:22:02 +01:00
  • 1123f42810 prop partowp 2026-07-25 17:24:45 +01:00
  • d94b780ca3 slides partowp 2026-07-25 17:19:22 +01:00
  • 4f9fc5a687 more! partowp 2026-07-24 16:42:07 +01:00
  • 539b5fec3d fixing the example partowp 2026-07-24 11:44:36 +01:00
  • 748b1b582d some editting partowp 2026-07-24 10:32:29 +01:00
  • 24c2101b8a counter-example revisited partowp 2026-07-24 09:37:09 +01:00
  • 5eef8a7955 presentation partowp 2026-07-22 13:04:41 +01:00
  • 944bd831b6 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation partowp 2026-07-20 19:01:48 +01:00
  • 61fed4f74a Barr! partowp 2026-07-20 19:01:30 +01:00
  • 9da15b278c pc sync sergey 2026-07-20 15:17:54 +01:00
  • b72995139c Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation sergey 2026-07-20 14:05:37 +01:00
  • 3d36dc3293 pc sync sergey 2026-07-20 14:05:33 +01:00
  • cc4999dcb9 minor partowp 2026-07-20 12:18:32 +01:00
  • 8021868ae9 not liftable partowp 2026-07-20 10:35:35 +01:00
  • ac4a5ec5a1 HuJ partowp 2026-07-19 23:18:11 +01:00
  • 62390af755 A good counter example!!! partowp 2026-07-19 22:20:57 +01:00
  • 0a0e895189 liftable arvitrary F partowp 2026-07-19 18:29:26 +01:00
  • 2c4736dd54 no maybe anymore partowp 2026-07-18 01:47:10 +01:00
  • 38d506650f minor partowp 2026-07-17 19:26:00 +01:00
  • 81da58d639 order partowp 2026-07-17 15:56:49 +01:00
  • c47a548df7 minor partowp 2026-07-15 15:38:16 +01:00
  • 58c3a32e87 minor partowp 2026-07-15 15:33:26 +01:00
  • d87ecf12fb The concrete proof for maybe revisited partowp 2026-07-15 13:12:14 +01:00
  • 4471bf385b prop partowp 2026-07-14 18:24:23 +01:00
  • e0c4ce46d8 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation partowp 2026-07-13 21:16:21 +01:00
  • 04f539f17c lemma partowp 2026-07-10 17:19:52 +01:00
  • b91d6a992d some corrections and ednotes sergey 2026-07-10 16:44:19 +01:00
  • f43934ba99 minor partowp 2026-07-10 11:45:14 +01:00
  • efb6fd8e6a doesn't seem to work! partowp 2026-07-09 19:36:52 +01:00
  • 3e48aee143 concrete maybe proof corrected partowp 2026-07-09 17:13:32 +01:00
  • 957a0514a4 LEM ommitted partowp 2026-07-03 21:15:38 +01:00
  • ee11348629 bluh bluh partowp 2026-07-02 15:24:14 +01:00
  • 8edd2fd9b3 blah partowp 2026-06-30 14:29:04 +01:00
  • 270f802d80 generalized lemma 3.15 partowp 2026-06-29 23:33:06 +01:00
  • 6ff5d92bf2 minor partowp 2026-06-25 22:22:55 +01:00
  • b2d4d9ea72 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation partowp 2026-06-25 21:36:37 +01:00
  • 985cf6d821 maybe partowp 2026-06-25 21:36:25 +01:00
  • 1e0b1cc66e misc feedback sergey 2026-06-19 20:05:00 +01:00
  • 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