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-05-06 11:46:37 +02:00
279d85e575 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-06 00:45:17 +02:00
c2229c444c minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-05 22:16:15 +02:00
7987954846 more
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-05 21:51:00 +02:00
03c3abc624 more editting
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-05 21:40:35 +02:00
833d86e0ba Egli-Milner proof
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-05 19:26:13 +02:00
107d2d0efb more props added
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-05 17:50:33 +02:00
e60e3d4a1d does it work?
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-04 21:29:58 +02:00
0ba2dd8c19 ACfull proof
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-03 20:47:15 +02:00
ed01ebf5bf counter-example
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-02 20:28:49 +02:00
d572b575d3 lem
pouya pushed to master at pouya/coalgebraic-simulation 2026-04-30 21:45:45 +02:00
2e72ee275f more
pouya pushed to master at pouya/coalgebraic-simulation 2026-04-30 18:15:25 +02:00
f573e583eb more wrtiting
pouya pushed to master at pouya/coalgebraic-simulation 2026-04-29 15:58:44 +02:00
206e1ef59b a small prop
pouya pushed to master at pouya/coalgebraic-simulation 2026-04-29 01:08:32 +02:00
e9bc1cba67 some statements added
pouya pushed to master at pouya/coalgebraic-simulation 2026-04-28 15:23:14 +02:00
53255e898c definitions
pouya pushed to master at pouya/coalgebraic-simulation 2026-04-28 02:47:28 +02:00
484bb73af8 moreo
pouya pushed to master at pouya/coalgebraic-simulation 2026-04-27 15:58:56 +02:00
986b6bdb24 more
pouya pushed to master at pouya/coalgebraic-simulation 2026-04-26 02:20:56 +02:00
97250da9dd draft polished
pouya pushed to master at pouya/coalgebraic-simulation 2026-04-24 22:41:57 +02:00
e473cfeabb def
pouya pushed to master at pouya/coalgebraic-simulation 2026-04-22 23:27:35 +02:00
8cd257a929 lem