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-04-22 21:00:05 +02:00

ce7851c354 more

pouya pushed to master at pouya/coalgebraic-simulation 2026-04-19 01:11:20 +02:00

e8a4210c0e edited

pouya pushed to master at pouya/coalgebraic-simulation 2026-04-17 20:27:29 +02:00

a888ed095a the abstract proof

pouya pushed to master at pouya/coalgebraic-simulation 2026-04-16 15:53:00 +02:00

7a8026a782 delta

pouya pushed to master at pouya/coalgebraic-simulation 2026-04-16 15:18:18 +02:00

41912f4e54 init

pouya pushed to master at pouya/coalgebraic-simulation 2026-03-23 18:02:48 +01:00

1fd30f15b8 init

e5b2b36c04 init

Compare 2 commits »

pouya created repository pouya/coalgebraic-simulation 2026-03-23 17:40:45 +01:00