advancedresearch/hooo issues and pull requests

#345 - Published 0.8.0

Pull Request - State: closed - Opened by bvssvni 24 days ago

#344 - Fixed typo in doc

Pull Request - State: closed - Opened by bvssvni 24 days ago

#343 - Added "std/absorption.hooo"

Pull Request - State: closed - Opened by bvssvni 24 days ago

#342 - Added "std/de_morgan.hooo"

Pull Request - State: closed - Opened by bvssvni 24 days ago

#341 - Try prove `and_cong`

Issue - State: open - Opened by bvssvni 24 days ago
Labels: medium

#340 - Published Hooo 0.7

Pull Request - State: closed - Opened by bvssvni about 1 month ago

#339 - Added `sym_bin_cong_eq`

Pull Request - State: closed - Opened by bvssvni about 1 month ago

#338 - Added `sym_bin_eq`

Pull Request - State: closed - Opened by bvssvni about 1 month ago

#337 - Added some functions to "std/sym.hooo"

Pull Request - State: closed - Opened by bvssvni about 1 month ago

#336 - Added `sym_swap_app_args`

Pull Request - State: closed - Opened by bvssvni about 1 month ago

#335 - Added `sym_swap_args`

Pull Request - State: closed - Opened by bvssvni about 1 month ago

#334 - Added `sym_imply`

Pull Request - State: closed - Opened by bvssvni about 1 month ago

#333 - Added `sym_pow_transitivity`

Pull Request - State: closed - Opened by bvssvni about 1 month ago

#332 - Fixed bug in `bind`, released 0.6.1

Pull Request - State: closed - Opened by bvssvni 6 months ago

#331 - Possible bug when passing NOT to functions that takes PARA

Issue - State: closed - Opened by bvssvni 6 months ago
Labels: bug

#330 - Published 0.6.0

Pull Request - State: closed - Opened by bvssvni 7 months ago

#329 - Moved "std/dep.hooo" to its own library

Pull Request - State: closed - Opened by bvssvni 7 months ago

#328 - Moved HoTT stuff out of std

Pull Request - State: closed - Opened by bvssvni 8 months ago

#327 - Some refactoring

Pull Request - State: closed - Opened by bvssvni 8 months ago

#326 - Added `hlev_prop_from`

Pull Request - State: closed - Opened by bvssvni 8 months ago

#325 - Added `imply_eq_right`

Pull Request - State: closed - Opened by bvssvni 8 months ago

#324 - Started on new "hott" library

Pull Request - State: closed - Opened by bvssvni 8 months ago

#323 - Added more stuff to "std"

Pull Request - State: closed - Opened by bvssvni 8 months ago

#322 - Fixed bug in sym block

Pull Request - State: closed - Opened by bvssvni 8 months ago

#321 - Bug in sym block allows introducing symbols as propositions

Issue - State: closed - Opened by bvssvni 8 months ago
Labels: bug, hard

#320 - Added `eq_tr`

Pull Request - State: closed - Opened by bvssvni 8 months ago

#319 - Added `nat_sz_ty`

Pull Request - State: closed - Opened by bvssvni 8 months ago

#318 - Started on dependent tuples

Pull Request - State: closed - Opened by bvssvni 9 months ago

#317 - Published 0.5.0

Pull Request - State: closed - Opened by bvssvni 9 months ago

#316 - Added "qu_true_tauto_excm_to_eq_tauto_qu"

Pull Request - State: closed - Opened by bvssvni 9 months ago

#315 - Added stuff to "std/qu.hooo"

Pull Request - State: closed - Opened by bvssvni 9 months ago

#314 - Added some comments

Pull Request - State: closed - Opened by bvssvni 9 months ago

#313 - Fixed bug

Pull Request - State: closed - Opened by bvssvni 9 months ago

#312 - Bug in binding of `~!a -> !~a`

Issue - State: closed - Opened by bvssvni 9 months ago
Labels: bug, medium

#311 - Added some utils

Pull Request - State: closed - Opened by bvssvni 9 months ago

#310 - Added "std/e.hooo"

Pull Request - State: closed - Opened by bvssvni 9 months ago

#309 - Updated "alg/associative.hooo"

Pull Request - State: closed - Opened by bvssvni 9 months ago

#308 - Added "std/c_imply.hooo"

Pull Request - State: closed - Opened by bvssvni 9 months ago

#307 - Fix typo in doc

Issue - State: closed - Opened by bvssvni 9 months ago
Labels: easy

#306 - Added "or_eq_left, or_eq_right"

Pull Request - State: closed - Opened by bvssvni 10 months ago

#305 - Fixed code

Pull Request - State: closed - Opened by bvssvni 10 months ago

#304 - Fixed naming

Pull Request - State: closed - Opened by bvssvni 10 months ago

#303 - Added "and_right"

Pull Request - State: closed - Opened by bvssvni 10 months ago

#302 - Added "and_left"

Pull Request - State: closed - Opened by bvssvni 10 months ago

#301 - Added "or_associativity"

Pull Request - State: closed - Opened by bvssvni 10 months ago

#300 - Added "and_associativity"

Pull Request - State: closed - Opened by bvssvni 10 months ago

#299 - Added "source/alg"

Pull Request - State: closed - Opened by bvssvni 10 months ago

#298 - Added "eq_right"

Pull Request - State: closed - Opened by bvssvni 10 months ago

#297 - Added "eq_left"

Pull Request - State: closed - Opened by bvssvni 10 months ago

#296 - Update Hooo.config

Pull Request - State: closed - Opened by bvssvni 10 months ago

#295 - Added "eq_associativity"

Pull Request - State: closed - Opened by bvssvni 10 months ago

#294 - Added "eq_rev_modus_tollens_excm"

Pull Request - State: closed - Opened by bvssvni 10 months ago

#293 - Added "eq_from_and"

Pull Request - State: closed - Opened by bvssvni 10 months ago

#292 - Added "rev_modus_tollens_excm"

Pull Request - State: closed - Opened by bvssvni 10 months ago

#291 - Added some stuff to "std/excm.hooo"

Pull Request - State: closed - Opened by bvssvni 10 months ago

#290 - Added `imply_from_or`

Pull Request - State: closed - Opened by bvssvni 10 months ago

#289 - Added some stuff to `std/or.hooo`

Pull Request - State: closed - Opened by bvssvni 10 months ago

#288 - Added `para_liar`

Pull Request - State: closed - Opened by bvssvni 12 months ago