Skip to content

feat(meta/environment): the equations that lead to a given definition are now accessible in Lean code#393

Open
cipher1024 wants to merge 3 commits into
masterfrom
defn-spec
Open

feat(meta/environment): the equations that lead to a given definition are now accessible in Lean code#393
cipher1024 wants to merge 3 commits into
masterfrom
defn-spec

Commits

Commits on Jul 16, 2020