Ecosyste.ms: Issues

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

GitHub / Human-Oriented-ATP/lean-tactics issues and pull requests

#7 - Rendering the proof state as an SVG

Pull Request - State: open - Opened by 0art0 about 1 year ago

#6 - (deleted)

Pull Request - State: closed - Opened by marcusrossel about 1 year ago

#6 - (deleted)

Pull Request - State: closed - Opened by marcusrossel about 1 year ago

#5 - Point-and-click tactics for `Mathlib`

Pull Request - State: closed - Opened by 0art0 about 1 year ago

#4 - WIP: implement Tim's moves

Pull Request - State: closed - Opened by faabian over 1 year ago

#3 - modus ponens tactic in Lean4

Pull Request - State: closed - Opened by faabian over 1 year ago

#2 - Root skolemization

Pull Request - State: closed - Opened by MateiFMandache almost 2 years ago - 3 comments

#1 - Lean4 skolem and tidying

Pull Request - State: closed - Opened by MateiFMandache almost 2 years ago