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-06-19 17:33:14 +02:00
d424aa48a6 draft
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-18 19:08:14 +02:00
3193f636aa more
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-17 18:05:56 +02:00
c7ea851920 4 defs!
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-15 20:53:16 +02:00
84b82c5221 init
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-14 20:23:28 +02:00
f7fa996645 minor
984991f72b Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation
92c7ba03c3 minor
Compare 3 commits »
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-14 01:19:41 +02:00
74efd4037a minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-14 01:11:27 +02:00
c5e0e21128 cor
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-14 00:40:52 +02:00
720a02a87f proof!
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-11 18:01:30 +02:00
08f1c1e782 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-11 14:16:58 +02:00
8f306095ee minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-10 18:03:54 +02:00
9a086b52c4 liftable
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-10 17:33:38 +02:00
56aaf125b8 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-09 21:32:26 +02:00
e32d1eabb1 sound and complete!
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-09 14:05:19 +02:00
b6319b44c8 naturally investigated
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-08 21:49:13 +02:00
0ec805e878 some more
8d04e6eb5c Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation
820cafb397 no pdf!
623a358be3 minor
Compare 4 commits »
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-26 18:33:40 +02:00
c812597e18 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-26 17:25:39 +02:00
1a3e7ec1a9 proof and counter-example
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-24 23:07:41 +02:00
ae5636cb23 the equality
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-23 19:03:28 +02:00
48728470f3 good
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-22 18:51:37 +02:00
ac7303d14a minor