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

#1645 - Made code safe in `fun::id`

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

#1644 - Made `fun::id::true_qu` safe

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

#1643 - Made `path_semantics::ty_qu_formation` safe

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

#1642 - Added `path_semantics::PSemTyImply`

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

#1641 - Fixed comments

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

#1640 - Added `path_semantics::ty_true_ltrue`

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

#1639 - Made `POrdProof::by_imply_right` unsafe

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

#1638 - Removed `fun::phott`

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

#1637 - Fixed warning

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

#1636 - Made `qubit::decide_tauto_excm` an axiom

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

#1635 - Is `fun::id::to_qu` (`a => ~a`) too strong?

Issue - State: closed - Opened by bvssvni almost 2 years ago - 3 comments
Labels: discussion

#1634 - Added `fun::id::to_qu`

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

#1633 - Ignore "test2" example

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

#1632 - Added `fun::id::inv_true_qu`

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

#1631 - Added `quality::eq_q_symmetry`

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

#1630 - Added `qubit::eq_qu_q` and `qubit::eq_q_qu`

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

#1629 - Added `hooo::not_not_both_to_exists`

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

#1628 - Added `hooo::to_not_pow`

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

#1627 - Fixed comment

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

#1626 - Added `hooo::pow_modus_tollens`

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

#1625 - Fixed comment

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

#1624 - Improved names

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

#1623 - Added `fun::bool_alg::bool_exists_to_pow_eq_fa`

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

#1622 - Added `fun::bool_alg::bool_eq_fa_excm`

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