Ecosyste.ms: Issues

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

GitHub / siddhartha-gadgil/ProvingGround issues and pull requests

#238 - backward reasoning for plus type

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 3 comments

#238 - backward reasoning for plus type

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 3 comments

#238 - backward reasoning for plus type

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 3 comments

#237 - Initial values for goals in islands

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 1 comment

#237 - Initial values for goals in islands

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 1 comment

#237 - Initial values for goals in islands

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 1 comment

#237 - Initial values for goals in islands

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 1 comment

#236 - Avoid repeated sigmoid transformations

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#236 - Avoid repeated sigmoid transformations

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#236 - Avoid repeated sigmoid transformations

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#236 - Avoid repeated sigmoid transformations

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#235 - Monix version of expression eval

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#235 - Monix version of expression eval

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#235 - Monix version of expression eval

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#235 - Monix version of expression eval

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#234 - Deduce forward reasoning from backward and variants

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 3 comments

#234 - Deduce forward reasoning from backward and variants

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 3 comments

#234 - Deduce forward reasoning from backward and variants

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 3 comments

#234 - Deduce forward reasoning from backward and variants

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 3 comments

#233 - Generate EquationNode elements during lean import

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago

#233 - Generate EquationNode elements during lean import

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago

#232 - Backward reasoning by contradiction

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago

#232 - Backward reasoning by contradiction

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago

#232 - Backward reasoning by contradiction

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago

#232 - Backward reasoning by contradiction

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago

#231 - Library code for Foundational issues for natural numbers

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments

#231 - Library code for Foundational issues for natural numbers

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments

#231 - Library code for Foundational issues for natural numbers

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments

#231 - Library code for Foundational issues for natural numbers

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments

#230 - Tests on par with notes

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#230 - Tests on par with notes

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#230 - Tests on par with notes

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#230 - Tests on par with notes

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#229 - Remove `TypedTerm`

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago
Labels: defect

#229 - Remove `TypedTerm`

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago
Labels: defect

#229 - Remove `TypedTerm`

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago
Labels: defect

#227 - Add a Gitter chat badge to README.md

Pull Request - State: closed - Opened by gitter-badger almost 6 years ago

#227 - Add a Gitter chat badge to README.md

Pull Request - State: closed - Opened by gitter-badger almost 6 years ago

#226 - Efficiently reduce words

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago

#226 - Efficiently reduce words

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago

#226 - Efficiently reduce words

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago

#226 - Efficiently reduce words

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago

#225 - Strategy and attention using `LocalProver`, Vector embeddings

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments
Labels: notes

#225 - Strategy and attention using `LocalProver`, Vector embeddings

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments
Labels: notes

#225 - Strategy and attention using `LocalProver`, Vector embeddings

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments
Labels: notes

#225 - Strategy and attention using `LocalProver`, Vector embeddings

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments
Labels: notes

#224 - Tangential generation of equations

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago
Labels: easy

#224 - Tangential generation of equations

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago
Labels: easy

#223 - Replace `git` system calls with jgit, record git hash while building

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments
Labels: easy

#223 - Replace `git` system calls with jgit, record git hash while building

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments
Labels: easy

#222 - High-level API for proving, refining, recognising lemmas etc

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 9 comments

#222 - High-level API for proving, refining, recognising lemmas etc

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 9 comments

#222 - High-level API for proving, refining, recognising lemmas etc

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 9 comments

#221 - Abstraction, including consolidate enumerative/computational proofs and results of experiments

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments
Labels: notes

#221 - Abstraction, including consolidate enumerative/computational proofs and results of experiments

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments
Labels: notes

#221 - Abstraction, including consolidate enumerative/computational proofs and results of experiments

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments
Labels: notes

#220 - Parsing mathematical formulas

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#220 - Parsing mathematical formulas

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#220 - Parsing mathematical formulas

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#219 - Export code to Lean Prover

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#219 - Export code to Lean Prover

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#219 - Export code to Lean Prover

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#219 - Export code to Lean Prover

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#218 - Gradient flow of entropy orthogonal to equations

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#218 - Gradient flow of entropy orthogonal to equations

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#218 - Gradient flow of entropy orthogonal to equations

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#218 - Gradient flow of entropy orthogonal to equations

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#217 - Use mdoc to check generated Code

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment
Labels: easy

#217 - Use mdoc to check generated Code

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment
Labels: easy

#217 - Use mdoc to check generated Code

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment
Labels: easy

#217 - Use mdoc to check generated Code

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment
Labels: easy

#216 - Ambiguity in `ExstInducDefn`

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments

#216 - Ambiguity in `ExstInducDefn`

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments

#216 - Ambiguity in `ExstInducDefn`

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments

#216 - Ambiguity in `ExstInducDefn`

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 2 comments

#215 - More generation rules and variables

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 7 comments

#215 - More generation rules and variables

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 7 comments

#215 - More generation rules and variables

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 7 comments

#215 - More generation rules and variables

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 7 comments

#214 - Abstract costs generalizing term-type

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#214 - Abstract costs generalizing term-type

Issue - State: closed - Opened by siddhartha-gadgil almost 6 years ago - 1 comment

#213 - clearer documentation for newcomers

Pull Request - State: closed - Opened by newca12 about 6 years ago

#213 - clearer documentation for newcomers

Pull Request - State: closed - Opened by newca12 about 6 years ago

#213 - clearer documentation for newcomers

Pull Request - State: closed - Opened by newca12 about 6 years ago

#213 - clearer documentation for newcomers

Pull Request - State: closed - Opened by newca12 about 6 years ago

#212 - Separate jvm & files from web-interface and build complexity

Issue - State: closed - Opened by siddhartha-gadgil about 6 years ago - 1 comment

#212 - Separate jvm & files from web-interface and build complexity

Issue - State: closed - Opened by siddhartha-gadgil about 6 years ago - 1 comment

#210 - Use symbolic lambdas in place of scala lambdas

Issue - State: closed - Opened by siddhartha-gadgil about 6 years ago - 1 comment

#210 - Use symbolic lambdas in place of scala lambdas

Issue - State: closed - Opened by siddhartha-gadgil about 6 years ago - 1 comment

#210 - Use symbolic lambdas in place of scala lambdas

Issue - State: closed - Opened by siddhartha-gadgil about 6 years ago - 1 comment

#210 - Use symbolic lambdas in place of scala lambdas

Issue - State: closed - Opened by siddhartha-gadgil about 6 years ago - 1 comment

#209 - Serialize with MessagePack

Issue - State: closed - Opened by siddhartha-gadgil about 6 years ago - 1 comment
Labels: easy, good first issue

#209 - Serialize with MessagePack

Issue - State: closed - Opened by siddhartha-gadgil about 6 years ago - 1 comment
Labels: easy, good first issue