 partowp
|
97d0b64ec3
|
minor
|
2026-08-20 20:20:15 +01:00 |
|
|
partowp
|
a70e658da9
|
bluh
|
2026-08-20 18:51:51 +01:00 |
|
|
partowp
|
bbdb5c7272
|
the counter-example added but it's sloppy
|
2026-08-20 15:51:41 +01:00 |
|
|
partowp
|
406fe32e54
|
bluh bluh
|
2026-08-13 17:50:01 +01:00 |
|
|
partowp
|
6847f3ec7b
|
bluh
|
2026-08-13 17:07:02 +01:00 |
|
|
partowp
|
94ef4a72c3
|
The first draft for the first two sections
|
2026-08-13 14:06:48 +01:00 |
|
|
partowp
|
32756d390b
|
more
|
2026-08-12 17:14:50 +01:00 |
|
|
partowp
|
3285b1fdf6
|
the homework is under progress
|
2026-08-11 16:58:42 +01:00 |
|
|
partowp
|
1890051782
|
rel and span comparison
|
2026-08-10 18:46:50 +01:00 |
|
|
partowp
|
710908d814
|
a prop
|
2026-08-09 18:45:50 +01:00 |
|
|
partowp
|
139b175371
|
homework
|
2026-08-07 20:01:44 +01:00 |
|
|
partowp
|
73dbac921f
|
homework in progress
|
2026-08-06 17:10:49 +01:00 |
|
|
partowp
|
16b69f9a2c
|
PF
|
2026-08-05 19:41:40 +01:00 |
|
|
partowp
|
02b6a8dfd6
|
lemma
|
2026-08-05 13:30:03 +01:00 |
|
|
partowp
|
1900da7ed7
|
PF
|
2026-08-04 20:30:40 +01:00 |
|
|
partowp
|
487e71294f
|
minor
|
2026-08-04 17:08:21 +01:00 |
|
|
partowp
|
007a0999b9
|
Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation
|
2026-08-04 17:02:59 +01:00 |
|
|
partowp
|
2888c0d3a5
|
minor
|
2026-08-04 17:02:54 +01:00 |
|
 Pouya
|
d2a5e4d861
|
Merge branch 'master' of https://git.wlog.site/pouya/coalgebraic-simulation
|
2026-08-04 03:26:05 +01:00 |
|
|
Pouya
|
4f6689a096
|
mino
|
2026-08-04 03:23:25 +01:00 |
|
|
partowp
|
8c1054256a
|
minor
|
2026-08-03 20:34:08 +01:00 |
|
|
partowp
|
51b64cc427
|
minor
|
2026-08-03 20:29:50 +01:00 |
|
|
partowp
|
99d6862e12
|
liftable
|
2026-08-03 20:16:39 +01:00 |
|
|
partowp
|
f7df0d21ea
|
liftablity
|
2026-07-31 15:58:02 +01:00 |
|
|
partowp
|
e4ac0c6797
|
a prop
|
2026-07-28 15:27:41 +01:00 |
|
|
partowp
|
89aeaf7461
|
the prop
|
2026-07-28 12:22:02 +01:00 |
|
|
partowp
|
1123f42810
|
prop
|
2026-07-25 17:24:45 +01:00 |
|
|
partowp
|
24c2101b8a
|
counter-example revisited
|
2026-07-24 09:37:09 +01:00 |
|
|
partowp
|
944bd831b6
|
Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation
|
2026-07-20 19:01:48 +01:00 |
|
|
partowp
|
61fed4f74a
|
Barr!
|
2026-07-20 19:01:30 +01:00 |
|
 sergey
|
9da15b278c
|
pc sync
|
2026-07-20 15:17:54 +01:00 |
|
|
sergey
|
b72995139c
|
Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation
|
2026-07-20 14:05:37 +01:00 |
|
|
sergey
|
3d36dc3293
|
pc sync
|
2026-07-20 14:05:33 +01:00 |
|
|
partowp
|
cc4999dcb9
|
minor
|
2026-07-20 12:18:32 +01:00 |
|
|
partowp
|
8021868ae9
|
not liftable
|
2026-07-20 10:35:35 +01:00 |
|
|
partowp
|
ac4a5ec5a1
|
HuJ
|
2026-07-19 23:18:11 +01:00 |
|
|
partowp
|
62390af755
|
A good counter example!!!
|
2026-07-19 22:20:57 +01:00 |
|
|
partowp
|
0a0e895189
|
liftable arvitrary F
|
2026-07-19 18:29:26 +01:00 |
|
|
partowp
|
2c4736dd54
|
no maybe anymore
|
2026-07-18 01:47:10 +01:00 |
|
|
partowp
|
38d506650f
|
minor
|
2026-07-17 19:26:00 +01:00 |
|
|
partowp
|
81da58d639
|
order
|
2026-07-17 15:56:49 +01:00 |
|
|
partowp
|
c47a548df7
|
minor
|
2026-07-15 15:38:16 +01:00 |
|
|
partowp
|
58c3a32e87
|
minor
|
2026-07-15 15:33:26 +01:00 |
|
|
partowp
|
d87ecf12fb
|
The concrete proof for maybe revisited
|
2026-07-15 13:12:14 +01:00 |
|
|
partowp
|
4471bf385b
|
prop
|
2026-07-14 18:24:23 +01:00 |
|
|
partowp
|
e0c4ce46d8
|
Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation
|
2026-07-13 21:16:21 +01:00 |
|
|
partowp
|
04f539f17c
|
lemma
|
2026-07-10 17:19:52 +01:00 |
|
|
sergey
|
b91d6a992d
|
some corrections and ednotes
|
2026-07-10 16:44:19 +01:00 |
|
|
partowp
|
f43934ba99
|
minor
|
2026-07-10 11:45:14 +01:00 |
|
|
partowp
|
efb6fd8e6a
|
doesn't seem to work!
|
2026-07-09 19:36:52 +01:00 |
|