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-07-20 11:35:44 +02:00
8021868ae9 not liftable
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-20 00:18:22 +02:00
ac4a5ec5a1 HuJ
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-19 23:21:11 +02:00
62390af755 A good counter example!!!
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-19 19:29:47 +02:00
0a0e895189 liftable arvitrary F
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-18 02:47:44 +02:00
2c4736dd54 no maybe anymore
38d506650f minor
Compare 2 commits »
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-17 16:56:59 +02:00
81da58d639 order
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-15 16:38:24 +02:00
c47a548df7 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-15 16:33:42 +02:00
58c3a32e87 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-15 14:12:38 +02:00
d87ecf12fb The concrete proof for maybe revisited
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-14 19:24:34 +02:00
4471bf385b prop
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-13 22:16:36 +02:00
e0c4ce46d8 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation
04f539f17c lemma
Compare 2 commits »
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-10 12:45:21 +02:00
f43934ba99 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-09 20:37:06 +02:00
efb6fd8e6a doesn't seem to work!
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-09 18:13:50 +02:00
3e48aee143 concrete maybe proof corrected
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-03 22:15:49 +02:00
957a0514a4 LEM ommitted
pouya pushed to master at pouya/coalgebraic-simulation 2026-07-02 16:24:25 +02:00
ee11348629 bluh bluh
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-30 15:29:18 +02:00
8edd2fd9b3 blah
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-30 00:33:25 +02:00
270f802d80 generalized lemma 3.15
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-25 23:23:04 +02:00
6ff5d92bf2 minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-25 22:36:50 +02:00
b2d4d9ea72 Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation
985cf6d821 maybe
Compare 2 commits »