advancedresearch/pocket_prover issues and pull requests

#109 - Published 0.18.0

Pull Request - State: closed - Opened by bvssvni about 2 months ago

#108 - Improved `un_sesh` and `re_sesh`

Pull Request - State: closed - Opened by bvssvni about 2 months ago

#107 - Added `un_sesh` and `re_sesh`

Pull Request - State: closed - Opened by bvssvni about 2 months ago

#106 - Improved "quality_ty_uniq" example

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

#105 - Added `hom_f` and `hom_` operators

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

#104 - Added "quality_ty_differ" example

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#103 - Added "quality_ty_uniq" example

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#102 - Published pocket_prover-derive 0.8.0

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#101 - Published 0.17.0

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#100 - Added "quality_core_hidden_bias" example

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#99 - Reexport `qubit` as `qu`

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#99 - Reexport `qubit` as `qu`

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#98 - Added `cont`

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

#97 - Added "quality_sym_core_eq" example

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

#97 - Added "quality_sym_core_eq" example

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

#96 - Added `ps_sym_core` and `ps_sym_core_eq`

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

#96 - Added `ps_sym_core` and `ps_sym_core_eq`

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

#95 - Added example of strong version of core axiom

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

#95 - Added example of strong version of core axiom

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

#94 - Added `ps_core_eq` and `ps_acore_eq`

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

#94 - Added `ps_core_eq` and `ps_acore_eq`

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

#93 - Added "quality_index_theorem" example

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

#93 - Added "quality_index_theorem" example

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

#92 - Added "eq_catus_cube" example

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

#92 - Added "eq_catus_cube" example

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

#91 - Published 0.16.0

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

#91 - Published 0.16.0

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

#90 - Create a quality graph visualizer library

Issue - State: open - Opened by bvssvni over 2 years ago
Labels: discussion, draft

#90 - Create a quality graph visualizer library

Issue - State: open - Opened by bvssvni over 2 years ago
Labels: discussion, draft

#89 - Release 0.16.0

Issue - State: closed - Opened by bvssvni over 2 years ago
Labels: easy

#89 - Release 0.16.0

Issue - State: closed - Opened by bvssvni over 2 years ago
Labels: easy

#88 - Added `contra_qual`

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

#88 - Added `contra_qual`

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

#87 - Added `aqual` and `ps_acore`

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

#87 - Added `aqual` and `ps_acore`

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

#86 - Added "is_groupoid" example

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

#86 - Added "is_groupoid" example

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

#85 - Added "is_set" example

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

#85 - Added "is_set" example

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

#84 - Fix `is_prop`, `is_set` etc. to satisfy type checking

Issue - State: open - Opened by bvssvni over 2 years ago - 3 comments
Labels: discussion, draft

#84 - Fix `is_prop`, `is_set` etc. to satisfy type checking

Issue - State: open - Opened by bvssvni over 2 years ago - 3 comments
Labels: discussion, draft

#83 - Add `hall` and `hany` for propositional arguments

Issue - State: open - Opened by bvssvni over 2 years ago - 1 comment
Labels: discussion, draft

#83 - Add `hall` and `hany` for propositional arguments

Issue - State: open - Opened by bvssvni over 2 years ago - 1 comment
Labels: discussion, draft

#82 - Added "is_prop" example

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

#82 - Added "is_prop" example

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

#81 - The higher cardinality interpretation of `qubit`

Issue - State: open - Opened by bvssvni over 2 years ago - 1 comment
Labels: discussion

#81 - The higher cardinality interpretation of `qubit`

Issue - State: open - Opened by bvssvni over 2 years ago - 1 comment
Labels: discussion

#80 - Figure out the correct definition of higher homotopy levels

Issue - State: open - Opened by bvssvni over 2 years ago
Labels: discussion

#80 - Figure out the correct definition of higher homotopy levels

Issue - State: open - Opened by bvssvni over 2 years ago
Labels: discussion

#79 - Published 0.15.0

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

#79 - Published 0.15.0

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

#78 - Added more homotopy level stuff

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

#78 - Added more homotopy level stuff

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

#77 - Added `is_prop`

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

#77 - Added `is_prop`

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

#76 - Added `is_set`

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

#76 - Added `is_set`

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

#75 - Added `hom_eq`

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

#75 - Added `hom_eq`

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

#74 - Published 0.14.1

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

#74 - Published 0.14.1

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

#73 - Added "molecule" example

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

#73 - Added "molecule" example

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

#72 - Simplify `qual`

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

#72 - Simplify `qual`

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

#71 - Simplify `qual`

Issue - State: closed - Opened by bvssvni over 2 years ago
Labels: easy

#71 - Simplify `qual`

Issue - State: closed - Opened by bvssvni over 2 years ago
Labels: easy

#70 - Added "quality_entanglement" example

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

#70 - Added "quality_entanglement" example

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

#69 - Published 0.14.0

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

#69 - Published 0.14.0

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

#68 - Use commutative qubits

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

#68 - Use commutative qubits

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

#67 - Investigate commutative qubits

Issue - State: open - Opened by bvssvni over 2 years ago
Labels: discussion

#67 - Investigate commutative qubits

Issue - State: open - Opened by bvssvni over 2 years ago
Labels: discussion

#66 - Published 0.13.2

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

#66 - Published 0.13.2

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

#65 - Updated docs

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

#65 - Updated docs

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

#64 - Added version with `EqQ`

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

#64 - Added version with `EqQ`

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

#63 - Added "examples/quality_seshatism_vs_platonism"

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

#63 - Added "examples/quality_seshatism_vs_platonism"

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

#62 - Added "examples/quality_partial_equivalence"

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

#62 - Added "examples/quality_partial_equivalence"

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

#61 - Added "examples/quality_creation_theorem"

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

#61 - Added "examples/quality_creation_theorem"

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

#60 - Fixed edge cases in `qual`

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

#60 - Fixed edge cases in `qual`

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

#59 - Fix edge cases in `qual`

Issue - State: closed - Opened by bvssvni over 2 years ago - 1 comment
Labels: easy

#59 - Fix edge cases in `qual`

Issue - State: closed - Opened by bvssvni over 2 years ago - 1 comment
Labels: easy

#58 - Use standard order for Path Semantical Logic in docs

Issue - State: open - Opened by bvssvni over 2 years ago
Labels: discussion, draft

#58 - Use standard order for Path Semantical Logic in docs

Issue - State: open - Opened by bvssvni over 2 years ago
Labels: discussion, draft

#57 - Fixed error in docs

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

#57 - Fixed error in docs

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

#56 - Published Pocket-Prover Derive 0.7.0

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

#56 - Published Pocket-Prover Derive 0.7.0

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

#55 - Published 0.13.0

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

#55 - Published 0.13.0

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

#54 - Published 0.12.0

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

GitHub / advancedresearch/pocket_prover issues and pull requests