Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/expose-array-back/./tests/elab/splitIfIssue.lean.out.expected
blob: ba7393e93377f44b1a45844d71b6947ae8ff006e [file] [edit]
Lean.Parser.Tactic.allGoals : ParserDescr
splitIfIssue.lean:233:0-233:7: warning: declaration uses `sorry`
splitIfIssue.lean:244:0-244:7: warning: declaration uses `sorry`