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-31 23:05:47 +02:00
c6514f23b7 double
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-27 19:59:07 +02:00
a52ba55ad3 HeJ and HuJ simulation equivalence
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-26 20:19:32 +02:00
0038476bbe todo
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-26 19:56:11 +02:00
9e1ab1f8ad bluh
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-25 22:13:19 +02:00
1603296a85 span-based sim
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-22 19:40:20 +02:00
56930bbbcc bluh
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-20 21:20:21 +02:00
97d0b64ec3 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-20 19:51:58 +02:00
a70e658da9 bluh
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-20 16:51:59 +02:00
bbdb5c7272 the counter-example added but it's sloppy
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-13 18:54:42 +02:00
ded4370688 Update README.md
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-13 18:50:11 +02:00
406fe32e54 bluh bluh
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-13 18:07:20 +02:00
a68964a757 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation
6847f3ec7b bluh
Compare 2 commits »
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-13 15:07:18 +02:00
94ef4a72c3 The first draft for the first two sections
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-12 18:14:55 +02:00
32756d390b more
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-11 17:58:53 +02:00
3285b1fdf6 the homework is under progress
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-10 19:47:11 +02:00
1890051782 rel and span comparison
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-09 19:45:57 +02:00
710908d814 a prop
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-07 21:01:59 +02:00
139b175371 homework
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-06 18:11:16 +02:00
73dbac921f homework in progress
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-05 20:41:48 +02:00
16b69f9a2c PF