issues
search
advancedresearch
/
hooo
Propositional logic with exponentials
Apache License 2.0
15
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fixed bug in `bind`, released 0.6.1
#332
bvssvni
closed
2 months ago
0
Possible bug when passing NOT to functions that takes PARA
#331
bvssvni
closed
2 months ago
0
Published 0.6.0
#330
bvssvni
closed
4 months ago
0
Moved "std/dep.hooo" to its own library
#329
bvssvni
closed
4 months ago
0
Moved HoTT stuff out of std
#328
bvssvni
closed
5 months ago
0
Some refactoring
#327
bvssvni
closed
5 months ago
0
Added `hlev_prop_from`
#326
bvssvni
closed
5 months ago
0
Added `imply_eq_right`
#325
bvssvni
closed
5 months ago
0
Started on new "hott" library
#324
bvssvni
closed
5 months ago
0
Added more stuff to "std"
#323
bvssvni
closed
5 months ago
0
Fixed bug in sym block
#322
bvssvni
closed
5 months ago
0
Bug in sym block allows introducing symbols as propositions
#321
bvssvni
closed
5 months ago
0
Added `eq_tr`
#320
bvssvni
closed
5 months ago
0
Added `nat_sz_ty`
#319
bvssvni
closed
5 months ago
0
Started on dependent tuples
#318
bvssvni
closed
5 months ago
0
Published 0.5.0
#317
bvssvni
closed
6 months ago
0
Added "qu_true_tauto_excm_to_eq_tauto_qu"
#316
bvssvni
closed
6 months ago
0
Added stuff to "std/qu.hooo"
#315
bvssvni
closed
6 months ago
0
Added some comments
#314
bvssvni
closed
6 months ago
0
Fixed bug
#313
bvssvni
closed
6 months ago
0
Bug in binding of `~!a -> !~a`
#312
bvssvni
closed
6 months ago
0
Added some utils
#311
bvssvni
closed
6 months ago
0
Added "std/e.hooo"
#310
bvssvni
closed
6 months ago
0
Updated "alg/associative.hooo"
#309
bvssvni
closed
6 months ago
0
Added "std/c_imply.hooo"
#308
bvssvni
closed
6 months ago
0
Fix typo in doc
#307
bvssvni
opened
6 months ago
0
Added "or_eq_left, or_eq_right"
#306
bvssvni
closed
7 months ago
0
Fixed code
#305
bvssvni
closed
7 months ago
0
Fixed naming
#304
bvssvni
closed
7 months ago
0
Added "and_right"
#303
bvssvni
closed
7 months ago
0
Added "and_left"
#302
bvssvni
closed
7 months ago
0
Added "or_associativity"
#301
bvssvni
closed
7 months ago
0
Added "and_associativity"
#300
bvssvni
closed
7 months ago
0
Added "source/alg"
#299
bvssvni
closed
7 months ago
0
Added "eq_right"
#298
bvssvni
closed
7 months ago
0
Added "eq_left"
#297
bvssvni
closed
7 months ago
0
Update Hooo.config
#296
bvssvni
closed
7 months ago
0
Added "eq_associativity"
#295
bvssvni
closed
7 months ago
0
Added "eq_rev_modus_tollens_excm"
#294
bvssvni
closed
7 months ago
0
Added "eq_from_and"
#293
bvssvni
closed
7 months ago
0
Added "rev_modus_tollens_excm"
#292
bvssvni
closed
7 months ago
0
Added some stuff to "std/excm.hooo"
#291
bvssvni
closed
7 months ago
0
Added `imply_from_or`
#290
bvssvni
closed
7 months ago
0
Added some stuff to `std/or.hooo`
#289
bvssvni
closed
7 months ago
0
Added `para_liar`
#288
bvssvni
closed
8 months ago
0
Added "source/liar.hooo"
#287
bvssvni
closed
8 months ago
0
Added "eq_refl_iqu"
#286
bvssvni
closed
10 months ago
0
Added some stuff to "std/idt.hooo"
#285
bvssvni
closed
10 months ago
0
Added more stuff to std
#284
bvssvni
closed
10 months ago
0
Added some docs
#283
bvssvni
closed
10 months ago
0
Next