tests/plugin/Default.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google

Sign in

fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/leeks/./tests/plugin/Default.lean.expected.out

blob: d730c18cb45d17ca3f4de36831e8e6cedf31c918 [file] [edit]

Default.lean:5:4: error: SNAKES!!

Powered by Gitiles| Privacy| Terms txt json