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-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 »
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-19 17:33:14 +02:00
d424aa48a6 draft
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-18 19:08:14 +02:00
3193f636aa more
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-17 18:05:56 +02:00
c7ea851920 4 defs!
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-15 20:53:16 +02:00
84b82c5221 init
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-14 20:23:28 +02:00
f7fa996645 minor
984991f72b Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation
92c7ba03c3 minor
Compare 3 commits »
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-14 01:19:41 +02:00
74efd4037a minor
pouya pushed to master at pouya/coalgebraic-simulation 2026-06-14 01:11:27 +02:00
c5e0e21128 cor