pouya
0 Followers · 1 Following
  • Joined on 2025-05-28
Repositories
1
 Projects Packages Public Activity Starred Repositories
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-31 16:58:15 +02:00
f7df0d21ea liftablity
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-31 16:57:31 +02:00
3090215662 list
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-28 16:27:48 +02:00
e4ac0c6797 a prop
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-28 13:22:19 +02:00
89aeaf7461 the prop
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-25 18:24:51 +02:00
1123f42810 prop
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-25 18:20:42 +02:00
d94b780ca3 slides
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-24 17:42:55 +02:00
4f9fc5a687 more!
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-24 12:44:46 +02:00
539b5fec3d fixing the example
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-24 11:32:39 +02:00
748b1b582d some editting
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-24 10:37:20 +02:00
24c2101b8a counter-example revisited
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-22 14:04:52 +02:00
5eef8a7955 presentation
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-20 20:02:13 +02:00
944bd831b6 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation
61fed4f74a Barr!
Compare 2 commits »
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-20 13:18:47 +02:00
cc4999dcb9 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-20 11:35:44 +02:00
8021868ae9 not liftable
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-20 00:18:22 +02:00
ac4a5ec5a1 HuJ
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-19 23:21:11 +02:00
62390af755 A good counter example!!!
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-19 19:29:47 +02:00
0a0e895189 liftable arvitrary F
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-18 02:47:44 +02:00
2c4736dd54 no maybe anymore
38d506650f minor
Compare 2 commits »
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-17 16:56:59 +02:00
81da58d639 order
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-15 16:38:24 +02:00
c47a548df7 minor