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

#301 - Reorganize between core and jvm

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

#301 - Reorganize between core and jvm

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

#300 - Skolemization problem

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

#300 - Skolemization problem

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

#300 - Skolemization problem

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

#299 - build.sbt issue

Issue - State: closed - Opened by madhu5858 about 4 years ago - 6 comments

#299 - build.sbt issue

Issue - State: closed - Opened by madhu5858 about 4 years ago - 6 comments

#299 - build.sbt issue

Issue - State: closed - Opened by madhu5858 about 4 years ago - 6 comments

#298 - Efficient lookup in history, especially for Postable

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

#298 - Efficient lookup in history, especially for Postable

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

#298 - Efficient lookup in history, especially for Postable

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

#298 - Efficient lookup in history, especially for Postable

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

#297 - Make Expression-Eval depend on NodeCoeffSeq[_], not TermGenParams

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

#297 - Make Expression-Eval depend on NodeCoeffSeq[_], not TermGenParams

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

#297 - Make Expression-Eval depend on NodeCoeffSeq[_], not TermGenParams

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

#297 - Make Expression-Eval depend on NodeCoeffSeq[_], not TermGenParams

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

#296 - Formal equations have orphaned terms

Issue - State: closed - Opened by siddhartha-gadgil about 4 years ago
Labels: bug

#296 - Formal equations have orphaned terms

Issue - State: closed - Opened by siddhartha-gadgil about 4 years ago
Labels: bug

#296 - Formal equations have orphaned terms

Issue - State: closed - Opened by siddhartha-gadgil about 4 years ago
Labels: bug

#296 - Formal equations have orphaned terms

Issue - State: closed - Opened by siddhartha-gadgil about 4 years ago
Labels: bug

#295 - Separate equations with initial values

Issue - State: open - Opened by siddhartha-gadgil about 4 years ago - 2 comments

#295 - Separate equations with initial values

Issue - State: open - Opened by siddhartha-gadgil about 4 years ago - 2 comments

#295 - Separate equations with initial values

Issue - State: open - Opened by siddhartha-gadgil about 4 years ago - 2 comments

#295 - Separate equations with initial values

Issue - State: open - Opened by siddhartha-gadgil about 4 years ago - 2 comments

#294 - Incorrect substitution, hence types, sometimes

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 3 comments
Labels: bug

#294 - Incorrect substitution, hence types, sometimes

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 3 comments
Labels: bug

#294 - Incorrect substitution, hence types, sometimes

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 3 comments
Labels: bug

#293 - With z3

Pull Request - State: closed - Opened by siddhartha-gadgil over 4 years ago

#292 - Lean optimized

Pull Request - State: closed - Opened by siddhartha-gadgil over 4 years ago - 1 comment

#292 - Lean optimized

Pull Request - State: closed - Opened by siddhartha-gadgil over 4 years ago - 1 comment

#291 - corrected reduction

Pull Request - State: closed - Opened by siddhartha-gadgil over 4 years ago - 1 comment

#291 - corrected reduction

Pull Request - State: closed - Opened by siddhartha-gadgil over 4 years ago - 1 comment

#291 - corrected reduction

Pull Request - State: closed - Opened by siddhartha-gadgil over 4 years ago - 1 comment

#291 - corrected reduction

Pull Request - State: closed - Opened by siddhartha-gadgil over 4 years ago - 1 comment

#289 - Increasing range of terms parsable into MathExpr

Issue - State: open - Opened by sundararajan-s over 4 years ago - 9 comments

#289 - Increasing range of terms parsable into MathExpr

Issue - State: open - Opened by sundararajan-s over 4 years ago - 9 comments

#289 - Increasing range of terms parsable into MathExpr

Issue - State: open - Opened by sundararajan-s over 4 years ago - 9 comments

#288 - Allow flattening in Kullback-Liebler distance

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago
Labels: active

#288 - Allow flattening in Kullback-Liebler distance

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago
Labels: active

#288 - Allow flattening in Kullback-Liebler distance

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago
Labels: active

#287 - Trace back from terms and types

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 2 comments

#287 - Trace back from terms and types

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 2 comments

#287 - Trace back from terms and types

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 2 comments

#286 - fix scalajs deps to make mantle works

Pull Request - State: closed - Opened by lemastero over 4 years ago

#286 - fix scalajs deps to make mantle works

Pull Request - State: closed - Opened by lemastero over 4 years ago

#286 - fix scalajs deps to make mantle works

Pull Request - State: closed - Opened by lemastero over 4 years ago

#286 - fix scalajs deps to make mantle works

Pull Request - State: closed - Opened by lemastero over 4 years ago

#285 - add missing , in build.sbt - otherwise sbt don't want to load root

Pull Request - State: closed - Opened by lemastero over 4 years ago - 1 comment

#285 - add missing , in build.sbt - otherwise sbt don't want to load root

Pull Request - State: closed - Opened by lemastero over 4 years ago - 1 comment

#285 - add missing , in build.sbt - otherwise sbt don't want to load root

Pull Request - State: closed - Opened by lemastero over 4 years ago - 1 comment

#285 - add missing , in build.sbt - otherwise sbt don't want to load root

Pull Request - State: closed - Opened by lemastero over 4 years ago - 1 comment

#284 - Faster evaluation from TermState for elements

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 6 comments

#284 - Faster evaluation from TermState for elements

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 6 comments

#283 - Bots to prove the Olympiad problem

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 15 comments
Labels: goal

#283 - Bots to prove the Olympiad problem

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 15 comments
Labels: goal

#283 - Bots to prove the Olympiad problem

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 15 comments
Labels: goal

#283 - Bots to prove the Olympiad problem

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 15 comments
Labels: goal

#282 - Extra rhs terms in formal equations

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 2 comments
Labels: defect

#282 - Extra rhs terms in formal equations

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 2 comments
Labels: defect

#282 - Extra rhs terms in formal equations

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 2 comments
Labels: defect

#282 - Extra rhs terms in formal equations

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 2 comments
Labels: defect

#281 - Faster Equations -> State by avoiding Term equality

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

#281 - Faster Equations -> State by avoiding Term equality

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

#281 - Faster Equations -> State by avoiding Term equality

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

#281 - Faster Equations -> State by avoiding Term equality

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

#280 - Variables being declared Terms

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 3 comments
Labels: defect

#280 - Variables being declared Terms

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 3 comments
Labels: defect

#280 - Variables being declared Terms

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago - 3 comments
Labels: defect

#279 - Miscalculation of final state after formal equations added

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago
Labels: defect

#279 - Miscalculation of final state after formal equations added

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago
Labels: defect

#279 - Miscalculation of final state after formal equations added

Issue - State: closed - Opened by siddhartha-gadgil over 4 years ago
Labels: defect

#278 - PostData may need transformations

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

#278 - PostData may need transformations

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

#278 - PostData may need transformations

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

#277 - Avoid duplicate computations by Bots

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

#277 - Avoid duplicate computations by Bots

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

#277 - Avoid duplicate computations by Bots

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

#277 - Avoid duplicate computations by Bots

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

#276 - Serializing equations: many cases

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

#276 - Serializing equations: many cases

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

#275 - Use Terms and ExstFuncs in HoTT Messages

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

#275 - Use Terms and ExstFuncs in HoTT Messages

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

#275 - Use Terms and ExstFuncs in HoTT Messages

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

#275 - Use Terms and ExstFuncs in HoTT Messages

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

#274 - Avoid createEdge etc

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

#274 - Avoid createEdge etc

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

#274 - Avoid createEdge etc

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

#273 - Recursive definitions should have intro rules, modify serialization

Issue - State: closed - Opened by siddhartha-gadgil almost 5 years ago
Labels: active

#273 - Recursive definitions should have intro rules, modify serialization

Issue - State: closed - Opened by siddhartha-gadgil almost 5 years ago
Labels: active

#273 - Recursive definitions should have intro rules, modify serialization

Issue - State: closed - Opened by siddhartha-gadgil almost 5 years ago
Labels: active

#273 - Recursive definitions should have intro rules, modify serialization

Issue - State: closed - Opened by siddhartha-gadgil almost 5 years ago
Labels: active

#272 - Summer Project

Pull Request - State: closed - Opened by OmkarBaraskar about 5 years ago

#272 - Summer Project

Pull Request - State: closed - Opened by OmkarBaraskar about 5 years ago

#272 - Summer Project

Pull Request - State: closed - Opened by OmkarBaraskar about 5 years ago

#272 - Summer Project

Pull Request - State: closed - Opened by OmkarBaraskar about 5 years ago

#271 - Autonomous + interactive running framework

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 4 comments
Labels: notes