Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/floatbits/./tests/lean/prvNameWithMacroScopes.lean
blob: cd97591112eda43069f5898de3cd4b026ef53ca4 [file] [edit]
import Lean
#print Lean.instBEqFVarId