Ecosyste.ms: Issues

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

GitHub / ctrekker/Deductive.jl issues and pull requests

#27 - optimize flat_repeat

Pull Request - State: closed - Opened by vtjnash over 2 years ago

#26 - Fast batch pattern search

Pull Request - State: closed - Opened by ctrekker almost 3 years ago

#25 - Fast batch pattern search

Issue - State: closed - Opened by ctrekker almost 3 years ago

#24 - Improve expression equality performance

Issue - State: open - Opened by ctrekker almost 3 years ago

#23 - Proof of subset operator statements

Issue - State: open - Opened by ctrekker almost 3 years ago - 1 comment

#22 - Element proofs (prove x ∈ S for some x)

Issue - State: open - Opened by ctrekker almost 3 years ago

#21 - Higher-order set constraint elimination algorithm

Issue - State: closed - Opened by ctrekker almost 3 years ago - 3 comments

#20 - Recursive subset matching algorithm

Issue - State: closed - Opened by ctrekker almost 3 years ago

#19 - Reorganizational map proofs?

Issue - State: open - Opened by ctrekker almost 3 years ago

#18 - Expression raising to specified levels of target abstraction

Issue - State: open - Opened by ctrekker almost 3 years ago

#17 - Expression lowering to specified levels of abstraction

Issue - State: open - Opened by ctrekker almost 3 years ago

#16 - Derived operators based on definition DAG

Issue - State: open - Opened by ctrekker almost 3 years ago

#15 - Minimal documentation page

Issue - State: closed - Opened by ctrekker almost 3 years ago - 1 comment

#13 - Docstrings for exported things

Pull Request - State: closed - Opened by ctrekker almost 3 years ago

#12 - Parent removal upon argument reassignment

Pull Request - State: closed - Opened by ctrekker almost 3 years ago

#11 - Write description docstrings for all exported methods

Issue - State: closed - Opened by ctrekker almost 3 years ago

#9 - Leverage mutable expressions in manipulation and proof systems

Issue - State: open - Opened by ctrekker almost 3 years ago

#8 - Fast mutable expressions

Pull Request - State: closed - Opened by ctrekker almost 3 years ago

#7 - Fast mutable expressions

Issue - State: closed - Opened by ctrekker almost 3 years ago

#6 - Derived operators

Issue - State: open - Opened by ctrekker almost 3 years ago - 1 comment

#5 - Refactor module index to only contain includes

Issue - State: open - Opened by ctrekker almost 3 years ago

#4 - Definitional set theory

Pull Request - State: closed - Opened by ctrekker almost 3 years ago

#3 - Constructive set theory library

Issue - State: open - Opened by ctrekker almost 3 years ago

#2 - Rework quantifier logic

Issue - State: open - Opened by ctrekker almost 3 years ago - 1 comment

#1 - TagBot trigger issue

Issue - State: closed - Opened by JuliaTagBot almost 3 years ago - 9 comments