Ecosyste.ms: Issues

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

GitHub / advancedresearch/prop issues and pull requests

#1745 - Added `imply::eq_double_neg_left`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1744 - Added `imply::rev_double_neg_left`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1743 - Renamed to `double_neg_left`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1742 - Added `imply::rev_double_neg_left`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1741 - Improved `imply::double_neg`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1740 - Published 0.47.0

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1739 - Added `SplitEpic` and `SplitMonic`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1738 - Added some docs

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1737 - Renamed to `split_epic` and `split_monic`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1736 - Moved some axioms and theorems to `fun::inv`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1735 - Proper handling of epic and monic functions

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1734 - Proper handling of monic and epic functions in `id` and `comp` module

Issue - State: closed - Opened by bvssvni over 1 year ago
Labels: bug, hard

#1732 - Added `halt` module

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1731 - Added `fun::inv::inv_rev_val_qu`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1730 - Updated docs

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1729 - Changed to solution semantics

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1728 - Change to solution semantics for the imaginary inverse

Issue - State: closed - Opened by bvssvni over 1 year ago
Labels: hard

#1727 - Added proof for `fun::inv::inv_eq`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1726 - Added `fun::inv::q_rev_inv`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1725 - Renamed to `comp_rev_inv` and `comp_inv`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1724 - Renamed to `eq_comp_inv`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1723 - Added `fun::inv::eq_qu_inv`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1722 - Added `fun::inv::eq_qu_double`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1721 - Added `modal::StrongPos`

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

#1720 - Added two new proofs

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

#1719 - Improved docs

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

#1718 - Use `nnecn` in `modal` module

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

#1717 - Some minor additions to `modal` module

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

#1716 - Added `modal::exists_true_to_not_not_pos`

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

#1715 - Added `modal::not_not_pos_to_exists_true`

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

#1714 - Added `modal::to_not_not_pos`

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

#1713 - Added `hooo::not_para_to_exists`

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

#1712 - Added `hooo::exists_to_not_para`

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

#1711 - Added `hooo::exists_rev_true`

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

#1710 - Added `modal::pos_to_exists_true`

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

#1709 - Added `hooo::exists_to_exists_true`

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

#1708 - Added comment about paradoxical propositions

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

#1707 - Renamed to `hooo::pow_to_pow_tauto_tauto`

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

#1706 - Added `hooo::pow_tauto`

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

#1705 - Added `fun::inv::inv_rev_eq`

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

#1704 - Added `hooo::cut_elim`

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

#1703 - Added `hooo::cut`

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

#1702 - Added `or::both`

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

#1701 - Removed unneeded parens

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

#1700 - Added `hott::id_ty`

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

#1699 - Use quality in `fun::natc::addc_closed`

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

#1698 - Added `fun::natc::eq_last_zero`

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

#1697 - Fixed name

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

#1696 - Fixed `fun::natc::addc_closed`

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

#1695 - Fixed `fun::natc::natc_closed`

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

#1694 - Added some docs

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

#1693 - Added `fun::natc::FMulc`

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

#1692 - Fixed comment

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

#1691 - Added `fun::natc::natc_def`

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

#1690 - Fixed `fun::natc::addc_zc`

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

#1689 - Added `fun::natc`

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

#1688 - Renamed to `fun::natp`

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

#1687 - Improved `hooo::para_liar`

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

#1686 - Added `modal::nec_not_lob`

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

#1685 - Added `modal::para_lob`

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

#1684 - Added `hooo_traits::Lob`

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

#1683 - Added `modal::lob_triv`

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

#1682 - Improved docs

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

#1681 - Added "Vocabulary" section to `hooo` docs

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

#1680 - Fixed comment

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

#1679 - Added `sd::in_right_arg`

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

#1678 - Added `sd::in_left_arg`

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

#1677 - Added `sd::to_not_tauto_eq`

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

#1676 - Added reference in docs

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

#1675 - Added `sd::tauto_eq_to_nsd`

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

#1674 - Added section "Motivation for Symbolic Distinction"

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

#1673 - Added `sd::not_left`

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

#1672 - Renamed to `sd::not_right`

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

#1671 - Added `sd::symmetry`

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

#1670 - Added some clarification to the docs

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

#1669 - Improved docs

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

#1668 - Added some docs

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

#1667 - Improved `sd::lift_q`

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

#1666 - Added `hooo::theory_not_to_theory`

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

#1665 - Added `sd::to_eqq`

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

#1664 - Fixed layout

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

#1663 - Added `sd::lift_q`

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

#1662 - Added `sd` module

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

#1661 - Published 0.46.0

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

#1660 - Added section "Logical Power Balance of Path Semantics vs Type Theory"

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

#1659 - Added link to blog post about `~true`

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

#1658 - Moved section about qubit truths in doc to `fun::id`

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

#1657 - Changed definition of `fun::id::Id`

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

#1656 - Added reference to `hott` module

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

#1655 - Added notice to doc

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

#1654 - Fixed clippy warnings

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

#1653 - Use `path_semantics::ty`

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

#1652 - Renamed to `fun::typ`

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

#1651 - Don't reexport `path_semantics::ty`

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

#1650 - Removed `ty_` prefix in `path_semantics::ty`

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

#1649 - Made `path_semantics::ty` public

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

#1648 - Improved unsafe code

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

#1647 - Improved unsafe code

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

#1646 - Added back `fun::phott`

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