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-26 18:33:40 +02:00
c812597e18 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-26 17:25:39 +02:00
1a3e7ec1a9 proof and counter-example
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-24 23:07:41 +02:00
ae5636cb23 the equality
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-23 19:03:28 +02:00
48728470f3 good
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-22 18:51:37 +02:00
ac7303d14a minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-22 18:46:26 +02:00
85750ee1ee some props to prove
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-22 18:34:21 +02:00
60a18af749 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-22 16:57:38 +02:00
46e6f44bd4 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-22 16:29:24 +02:00
a0ace67136 abstract proof
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-21 14:55:32 +02:00
3d98204684 a proof
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-20 19:01:07 +02:00
5964b1cfac incomplete draft
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-20 13:38:32 +02:00
c4b7a43bce minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-20 13:32:19 +02:00
f2f207936e proof
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-19 19:20:15 +02:00
dc05b47c2b prop
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-19 17:36:57 +02:00
3766e724c8 init
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-15 14:15:59 +02:00
3b83b22ea4 counter-example edited
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-06 19:03:32 +02:00
5efaa3619c minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-06 18:43:25 +02:00
88a05b3653 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-06 16:54:27 +02:00
c62bf13250 one-sided barr relator
pouya pushed to master at pouya/coalgebraic-simulation 2026-05-06 12:01:55 +02:00
6322012193 gitignore