翻译 #33

Open

Open

Assignees

Labels

buggood first issue

opened

on Jul 11, 2022

SF-zh/lf-current/Basics.v

Line 305 in f719c85

    
           (** 如果在被 [Check] 的表达式后加上一个分号和你想验证的类型，那么 Coq 会

分号 -> 冒号

Metadata

Assignees

liyishuai

Labels

buggood first issue

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests