Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / leanprover/super issues and pull requests

#7 - Build failure on automatic dependency update on `lean-3.2.0`

Issue - State: open - Opened by leanprover-community-bot over 4 years ago - 1 comment

#6 - fix(prover.lean)

Pull Request - State: closed - Opened by kim-em about 7 years ago - 1 comment

#5 - chore(*): renaming take -> assume, taken -> take

Pull Request - State: closed - Opened by johoelzl over 7 years ago

#4 - fix(test/super_examples): adapt to lean PR #1665

Pull Request - State: closed - Opened by digama0 over 7 years ago

#3 - fix(clausifier,tests): update assert->have

Pull Request - State: closed - Opened by robertylewis over 7 years ago - 1 comment

#2 - fix(.): super shoulds be in tools.super import namespace

Pull Request - State: closed - Opened by johoelzl over 7 years ago - 1 comment

#1 - fix(test): fix imports

Pull Request - State: closed - Opened by Kha over 7 years ago - 1 comment