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-08-05 14:30:15 +02:00
02b6a8dfd6 lemma
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-04 21:30:50 +02:00
1900da7ed7 PF
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-04 18:08:28 +02:00
487e71294f minor
007a0999b9 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation
2888c0d3a5 minor
Compare 3 commits »
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-04 04:26:21 +02:00
d2a5e4d861 Merge branch 'master' of https://git.wlog.site/pouya/coalgebraic-simulation
4f6689a096 mino
Compare 2 commits »
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-03 21:34:18 +02:00
8c1054256a minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-03 21:29:56 +02:00
51b64cc427 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-03 21:16:47 +02:00
99d6862e12 liftable
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