advancedresearch/hooo issues and pull requests

#45 - Prove quality transitivity without the "qual" tactic

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

#44 - Added proof of quality symmetry without "sym" tactic

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

#43 - Improved "qubit" tactic

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

#42 - Added transitivity to "qual" tactic

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

#41 - Added more tests for "sym" tactic

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

#40 - Added "qual" tactic

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

#39 - Added qubit from quality

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

#38 - Added some tests for the "app" tactic

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

#37 - Parse tactic name in user input

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

#36 - Added rules for debugging

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

#35 - Added transitivity to "imply" tactic

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

#34 - Added "or" tactic

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

#33 - Expand para and tauto in "tauto" tactic

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

#32 - Added paradox definition to "tauto" tactic

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

#31 - Added "tauto" tactic

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

#30 - Parse tactic name in user input

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

#29 - Added quality definition to "qubit" tactic

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

#28 - Detect `False` and put it first

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

#27 - Improved "imply" tactic

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

#26 - Added conversion from qubit to quality

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

#25 - Added quality operator `~~`

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

#24 - Measure energy of proofs

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

#23 - Moved `crate::Context` to its own module

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

#22 - Make more intelligent suggestions

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

#21 - Added "sesh" tactic

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

#20 - Added "source/imply/modus_tollens.hooo"

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

#19 - Added "source/imply/modus_ponens.hooo"

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

#18 - Added "source/hooo/transport_tr.hooo"

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

#17 - Added more tests

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

#16 - Added "sugg <expr>" command

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

#15 - Automatic test

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

#14 - Moved REPL to library

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

#13 - Moved tactics to the library

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

#12 - Make tactic language part of the library

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

#11 - Added "qubit" tactic

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

#10 - Added qubit `~` unary operator

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

#9 - Use `~◇~` as wave operator

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

#8 - Added parsing alternatives for square and diamond

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

#7 - Improved imply

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

#6 - Added "imply" tactic

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

#5 - Added "modus" tactic

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

#4 - Added more symmetry suggestions

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

#3 - Added "sym" tactic

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

#2 - Use `~◇~` as wave operator

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

#1 - First commit

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

GitHub / advancedresearch/hooo issues and pull requests