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

Commit Graph

  • 318421f979 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation master sergey 2026-09-28 17:03:14 +01:00
  • 562aecc62f uncommited from previous time sergey 2026-09-28 17:03:12 +01:00
  • 798ca20433 fail partowp 2026-09-28 15:08:17 +01:00
  • 0482ae66f5 lemma partowp 2026-09-27 18:02:05 +01:00
  • 96194207bf a scheme for something good partowp 2026-09-26 19:55:09 +01:00
  • f2dd939b8c bluh partowp 2026-09-25 21:33:47 +01:00
  • 1c04675e0a diags partowp 2026-09-24 15:59:28 +01:00
  • fc57a27811 diag added but needs more work! partowp 2026-09-22 20:30:18 +01:00
  • d8ff38f5b2 only the diagram is left partowp 2026-09-22 19:42:18 +01:00
  • dcdbc7ebde Still revising the text! partowp 2026-09-15 19:45:18 +01:00
  • d5a0824d13 relation lifting and abstract relational bisimulation ommited partowp 2026-09-14 14:39:03 +01:00
  • 83b4910d0e pc sync sergey 2026-09-11 15:33:23 +01:00
  • dde56ad7d8 minor partowp 2026-09-11 13:55:06 +01:00
  • 475852ed68 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation partowp 2026-09-11 13:48:48 +01:00
  • bab673ddfa bluh partowp 2026-09-11 13:47:26 +01:00
  • 6002843e09 some ednotes sergey 2026-09-10 18:07:21 +01:00
  • 3f487629e4 more! partowp 2026-09-09 21:26:25 +01:00
  • 7d013ddf97 more partowp 2026-09-08 20:47:35 +01:00
  • 01cd129e96 minor partowp 2026-09-07 21:33:14 +01:00
  • ff2857739a more double category partowp 2026-09-07 21:31:23 +01:00
  • 1c3ad98183 minor partowp 2026-09-07 12:27:09 +01:00
  • 3a4231204a more editting partowp 2026-09-07 02:22:58 +01:00
  • cd2bc67fe1 editted a bit! partowp 2026-09-07 00:54:28 +01:00
  • 4dedba1ee5 rel partowp 2026-09-02 21:24:30 +01:00
  • eee6bfc547 bluh partowp 2026-09-02 20:46:59 +01:00
  • 1458958104 double more partowp 2026-08-31 22:23:28 +01:00
  • c6514f23b7 double partowp 2026-08-31 22:05:39 +01:00
  • a52ba55ad3 HeJ and HuJ simulation equivalence partowp 2026-08-27 18:58:44 +01:00
  • 0038476bbe todo partowp 2026-08-26 19:19:22 +01:00
  • 9e1ab1f8ad bluh partowp 2026-08-26 18:56:02 +01:00
  • 1603296a85 span-based sim partowp 2026-08-25 21:13:06 +01:00
  • 56930bbbcc bluh partowp 2026-08-22 18:40:13 +01:00
  • 97d0b64ec3 minor partowp 2026-08-20 20:20:15 +01:00
  • a70e658da9 bluh partowp 2026-08-20 18:51:51 +01:00
  • bbdb5c7272 the counter-example added but it's sloppy partowp 2026-08-20 15:51:41 +01:00
  • ded4370688 Update README.md pouya 2026-08-13 18:54:41 +02:00
  • 406fe32e54 bluh bluh partowp 2026-08-13 17:50:01 +01:00
  • a68964a757 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation partowp 2026-08-13 17:07:15 +01:00
  • 6847f3ec7b bluh partowp 2026-08-13 17:07:02 +01:00
  • e50d619a98 Update README.md sergey 2026-08-13 15:38:28 +02:00
  • 94ef4a72c3 The first draft for the first two sections partowp 2026-08-13 14:06:48 +01:00
  • 32756d390b more partowp 2026-08-12 17:14:50 +01:00
  • 3285b1fdf6 the homework is under progress partowp 2026-08-11 16:58:42 +01:00
  • 1890051782 rel and span comparison partowp 2026-08-10 18:46:50 +01:00
  • 710908d814 a prop partowp 2026-08-09 18:45:50 +01:00
  • 139b175371 homework partowp 2026-08-07 20:01:44 +01:00
  • 73dbac921f homework in progress partowp 2026-08-06 17:10:49 +01:00
  • 16b69f9a2c PF partowp 2026-08-05 19:41:40 +01:00
  • 02b6a8dfd6 lemma partowp 2026-08-05 13:30:03 +01:00
  • 1900da7ed7 PF partowp 2026-08-04 20:30:40 +01:00
  • 487e71294f minor partowp 2026-08-04 17:08:21 +01:00
  • 007a0999b9 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation partowp 2026-08-04 17:02:59 +01:00
  • 2888c0d3a5 minor partowp 2026-08-04 17:02:54 +01:00
  • d2a5e4d861 Merge branch 'master' of https://git.wlog.site/pouya/coalgebraic-simulation Pouya 2026-08-04 03:26:05 +01:00
  • 4f6689a096 mino Pouya 2026-08-04 03:23:25 +01:00
  • 8c1054256a minor partowp 2026-08-03 20:34:08 +01:00
  • 51b64cc427 minor partowp 2026-08-03 20:29:50 +01:00
  • 99d6862e12 liftable partowp 2026-08-03 20:16:39 +01:00
  • f7df0d21ea liftablity 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