advancedresearch/hooo issues and pull requests

#245 - Restrict `cong_app`

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

#244 - Restrict `cong_app`

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

#243 - Make sym-blocks constructible congruent

Issue - State: open - Opened by bvssvni over 1 year ago - 2 comments
Labels: draft, discussion

#242 - Added "nat_add_symmetry"

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

#241 - Improved error messages

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

#240 - Fixed "nat_ind"

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

#239 - Fixed some edge cases

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

#238 - Proved induction on natural numbers

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

#237 - Fixed display

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

#236 - Added some hooo dual operations

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

#235 - Improved error message

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

#234 - Fixed a bug

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

#233 - Added "nat_succ_cong"

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

#232 - Fixed existential induction

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

#231 - Fixed typo

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

#230 - Removed edge case

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

#229 - Added function composition to README

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

#228 - Added some clarification

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

#227 - Published 0.3.8

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

#226 - Separate `->` from `^`

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

#225 - Added "sd_to_qu" and "nqu_to_nsd"

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

#224 - Added more stuff to std

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

#223 - Cleaned up `Type::bind`

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

#222 - Added composition syntax

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

#221 - Clarified a little

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

#220 - Add syntax for normal paths

Issue - State: open - Opened by bvssvni over 1 year ago
Labels: draft, discussion

#219 - Add syntax for composition

Issue - State: open - Opened by bvssvni over 1 year ago
Labels: draft, discussion

#218 - Fixed version number

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

#217 - Fixed typo

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

#216 - Published 0.3.7

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

#215 - Added a section about type judgement

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

#214 - Added "std/path.hooo"

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

#213 - Added "tauto_eq_to_left" and "tauto_eq_to_right"

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

#212 - Improved an edge case

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

#211 - Added "std/tup.hooo"

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

#210 - Use new supported syntax

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

#209 - Fixed a bug in the syntax

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

#208 - Added "std/comp.hooo" and "std/tup.hooo"

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

#207 - Renamed "comp" to "hooo_comp"

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

#206 - Improved "eq_modus_tollens"

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

#205 - Added "eq_to_left" and "eq_to_right"

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

#204 - Started on "std/id.hooo" and "std/inv.hooo"

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

#203 - Added "q_tauto_cong"

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

#202 - Added "imply_lift"

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

#201 - Fixed some typos

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

#200 - Improved "std/sd.hooo"

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

#199 - Fixed some typos

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

#198 - Fixed some typos and added some new sections

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

#197 - Published 0.3.5

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

#196 - Made `□` and `◇` normal congruent

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

#195 - Improved "std/qu.hooo" and "std/q.hooo"

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

#194 - Improved "std/cong.hooo"

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

#193 - Improved display of `all(a -> b)`

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

#192 - Made `add'` congruent

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

#191 - Added "cong_eq_left" and "cong_eq_right"

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

#190 - Added "cong_sym"

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

#189 - Improved proof

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

#188 - Added "std/excm.hooo"

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

#187 - Published 0.3.4

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

#186 - Published 0.3.3

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

#185 - Added using symbols to docs

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

#184 - Declare symbols once

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

#183 - Declare symbols once and use them in other places within a project

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

#182 - Moved "nat_add" to its own file

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

#181 - Do not require declaring symbols for use statements

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

#180 - Use faster hash algorithm

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

#179 - Improved key

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

#178 - Improved meta cache

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

#177 - Times of type checking std

Issue - State: open - Opened by bvssvni over 1 year ago
Labels: information

#176 - Published 0.3.2

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

#175 - Improved performance

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

#174 - Fixed "std/modal.hooo"

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

#173 - Added support for Herbrandization

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

#172 - Add support for Herbrandization

Issue - State: open - Opened by bvssvni over 1 year ago
Labels: draft, discussion

#171 - Fixed "std/cong.hooo"

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

#170 - Fixed a bug

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

#169 - Added section about symbolic blocks

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

#168 - Added "std/cong.hooo"

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

#167 - Added "unsafe return"

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

#166 - Unsafe return

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

#165 - Added "pow_to_pow_tauto"

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

#164 - Started working on sym-blocks

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

#163 - Add `sym` block

Issue - State: open - Opened by bvssvni over 1 year ago - 1 comment
Labels: draft, discussion

#162 - Added more stuff to "std/bool.hooo"

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

#161 - Use deflate compression in meta-cache

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

#160 - Added more stuff to "std/bool.hooo"

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

#159 - Started on "std/bool.hooo"

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

#158 - Added "pow_and_lift" and "pow_or_lift"

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

#157 - Published 0.3.1

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

#156 - Added "Uniqueness, solutions and the imaginary"

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

#155 - Fixed some typos

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

#154 - Improved "pow_transitivity"

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

#153 - Published 0.3.0

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

#152 - Added Avatar Logic

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

#151 - Added title

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

#150 - Added path semantics

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

#149 - Added syntax for modal operators

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

#148 - Force user to declare when quantifying over application

Issue - State: open - Opened by bvssvni over 1 year ago
Labels: draft, discussion

#147 - Exclude "hooo-meta_cache.bin"

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

#146 - Published 0.2.6

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

GitHub / advancedresearch/hooo issues and pull requests