Ecosyste.ms: Issues

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

GitHub / arademaker/alc-lean issues and pull requests

#9 - atomics

Pull Request - State: closed - Opened by arademaker over 3 years ago

#8 - Notations

Pull Request - State: closed - Opened by JBregunci over 3 years ago

#7 - examples

Issue - State: open - Opened by arademaker over 3 years ago - 1 comment

#6 - Notation and Two Lemmas

Pull Request - State: closed - Opened by arademaker over 3 years ago

#5 - general properties for relations between concepts

Issue - State: open - Opened by arademaker over 3 years ago - 3 comments

#4 - notations

Issue - State: open - Opened by arademaker over 3 years ago - 3 comments

#3 - Made 2 Sorry

Pull Request - State: closed - Opened by JBregunci over 3 years ago

#2 - Workbench

Pull Request - State: closed - Opened by JBregunci over 3 years ago

#1 - under construction: sigma_downInternalLabel, drop_last_label, all_r_soundness

Pull Request - State: closed - Opened by GPPassos over 9 years ago - 1 comment