Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/setConfig/./tests/lean/dsimpViaConst.lean.expected.out
blob: f9e41aadb2bd1260cd2161c55039d4e1bf4c4a59 [file] [edit]
dsimpViaConst.lean:36:30-36:35: error: dsimp made no progress
dsimpViaConst.lean:47:32-47:37: error: dsimp made no progress