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-09-28 16:08:27 +02:00
798ca20433 fail
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-27 19:02:14 +02:00
0482ae66f5 lemma
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-26 20:55:23 +02:00
96194207bf a scheme for something good
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-25 22:34:03 +02:00
f2dd939b8c bluh
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-24 16:59:37 +02:00
1c04675e0a diags
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-22 21:30:30 +02:00
fc57a27811 diag added but needs more work!
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-22 20:42:26 +02:00
d8ff38f5b2 only the diagram is left
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-15 20:45:31 +02:00
dcdbc7ebde Still revising the text!
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-14 15:39:35 +02:00
d5a0824d13 relation lifting and abstract relational bisimulation ommited
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-11 14:55:12 +02:00
dde56ad7d8 minor
475852ed68 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation
bab673ddfa bluh
Compare 3 commits »
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-09 22:26:33 +02:00
3f487629e4 more!
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-08 21:47:40 +02:00
7d013ddf97 more
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-07 22:33:20 +02:00
01cd129e96 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-07 22:31:34 +02:00
ff2857739a more double category
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-07 13:27:17 +02:00
1c3ad98183 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-07 03:23:05 +02:00
3a4231204a more editting
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-07 01:54:37 +02:00
cd2bc67fe1 editted a bit!
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-02 22:24:36 +02:00
4dedba1ee5 rel
pouya pushed to master at pouya/coalgebraic-simulation 2026-09-02 21:47:11 +02:00
eee6bfc547 bluh
pouya pushed to master at pouya/coalgebraic-simulation 2026-08-31 23:23:36 +02:00
1458958104 double more