欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
IEST──星际
来自开放百科 - 灰狐
| EVA VS GOL | 小组赛 | |||
| 第一场 | ||||
| Z5 V P11 | 在线观看 | 下载解说视频 | rep | |
| 第二场 | ||||
| Longinus | Z7 V P3 | 在线观看 | 下载解说视频 | rep |
| F91 VS 621 | 小组赛 | |||
| 第一场 | ||||
| Z V | [ 在线观看] | [ 下载解说视频] | rep |
| PJ vs 621 | 小组赛 | |||
| 第三场 | ||||
| P V | [ 在线观看] | [ 下载解说视频] | rep |
| fengzi vs Zk | 8进4 | |||
| 第一场 | ||||
| Tao Cross | Z1 V Z5 | 在线观看 | 下载解说视频 | rep |
| 第二场 | ||||
| Z V Z | 在线观看 | [ 下载解说视频] | rep |
| PJ vs 621 | 小组赛 | |||
| 第三场 | ||||
| P V | [ 在线观看] | [ 下载解说视频] | rep |
| PJ vs 621 | 小组赛 | |||
| 第三场 | ||||
| P V | [ 在线观看] | [ 下载解说视频] | rep |
| PJ vs 621 | 小组赛 | |||
| 第三场 | ||||
| P V | [ 在线观看] | [ 下载解说视频] | rep |
分享您的观点
