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-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
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