issues
search
advancedresearch
/
prop
Propositional logic with types in Rust
MIT License
59
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Added `imply::eq_double_neg_left`
#1745
bvssvni
closed
1 year ago
0
Added `imply::rev_double_neg_left`
#1744
bvssvni
closed
1 year ago
0
Renamed to `double_neg_left`
#1743
bvssvni
closed
1 year ago
0
Added `imply::rev_double_neg_left`
#1742
bvssvni
closed
1 year ago
0
Improved `imply::double_neg`
#1741
bvssvni
closed
1 year ago
0
Published 0.47.0
#1740
bvssvni
closed
1 year ago
0
Added `SplitEpic` and `SplitMonic`
#1739
bvssvni
closed
1 year ago
0
Added some docs
#1738
bvssvni
closed
1 year ago
0
Renamed to `split_epic` and `split_monic`
#1737
bvssvni
closed
1 year ago
0
Moved some axioms and theorems to `fun::inv`
#1736
bvssvni
closed
1 year ago
0
Proper handling of epic and monic functions
#1735
bvssvni
closed
1 year ago
0
Proper handling of monic and epic functions in `id` and `comp` module
#1734
bvssvni
closed
1 year ago
0
Added `fun::id::eq_comp_left_inv_id` and `fun::id::eq_comp_right_inv_id`
#1733
bvssvni
closed
1 year ago
0
Added `halt` module
#1732
bvssvni
closed
1 year ago
0
Added `fun::inv::inv_rev_val_qu`
#1731
bvssvni
closed
1 year ago
0
Updated docs
#1730
bvssvni
closed
1 year ago
0
Changed to solution semantics
#1729
bvssvni
closed
1 year ago
0
Change to solution semantics for the imaginary inverse
#1728
bvssvni
closed
1 year ago
0
Added proof for `fun::inv::inv_eq`
#1727
bvssvni
closed
1 year ago
0
Added `fun::inv::q_rev_inv`
#1726
bvssvni
closed
1 year ago
0
Renamed to `comp_rev_inv` and `comp_inv`
#1725
bvssvni
closed
1 year ago
0
Renamed to `eq_comp_inv`
#1724
bvssvni
closed
1 year ago
0
Added `fun::inv::eq_qu_inv`
#1723
bvssvni
closed
1 year ago
0
Added `fun::inv::eq_qu_double`
#1722
bvssvni
closed
1 year ago
0
Added `modal::StrongPos`
#1721
bvssvni
closed
1 year ago
0
Added two new proofs
#1720
bvssvni
closed
1 year ago
0
Improved docs
#1719
bvssvni
closed
1 year ago
0
Use `nnecn` in `modal` module
#1718
bvssvni
closed
1 year ago
0
Some minor additions to `modal` module
#1717
bvssvni
closed
1 year ago
0
Added `modal::exists_true_to_not_not_pos`
#1716
bvssvni
closed
1 year ago
0
Added `modal::not_not_pos_to_exists_true`
#1715
bvssvni
closed
1 year ago
0
Added `modal::to_not_not_pos`
#1714
bvssvni
closed
1 year ago
0
Added `hooo::not_para_to_exists`
#1713
bvssvni
closed
1 year ago
0
Added `hooo::exists_to_not_para`
#1712
bvssvni
closed
1 year ago
0
Added `hooo::exists_rev_true`
#1711
bvssvni
closed
1 year ago
0
Added `modal::pos_to_exists_true`
#1710
bvssvni
closed
1 year ago
0
Added `hooo::exists_to_exists_true`
#1709
bvssvni
closed
1 year ago
0
Added comment about paradoxical propositions
#1708
bvssvni
closed
1 year ago
0
Renamed to `hooo::pow_to_pow_tauto_tauto`
#1707
bvssvni
closed
1 year ago
0
Added `hooo::pow_tauto`
#1706
bvssvni
closed
1 year ago
0
Added `fun::inv::inv_rev_eq`
#1705
bvssvni
closed
1 year ago
0
Added `hooo::cut_elim`
#1704
bvssvni
closed
1 year ago
0
Added `hooo::cut`
#1703
bvssvni
closed
1 year ago
0
Added `or::both`
#1702
bvssvni
closed
1 year ago
0
Removed unneeded parens
#1701
bvssvni
closed
1 year ago
0
Added `hott::id_ty`
#1700
bvssvni
closed
1 year ago
0
Use quality in `fun::natc::addc_closed`
#1699
bvssvni
closed
1 year ago
0
Added `fun::natc::eq_last_zero`
#1698
bvssvni
closed
1 year ago
0
Fixed name
#1697
bvssvni
closed
1 year ago
0
Fixed `fun::natc::addc_closed`
#1696
bvssvni
closed
1 year ago
0
Next