Index of /k/tableaux_old

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] 4.k 2021-11-25 14:47 2.5K [   ] 5.k 2021-11-25 14:47 2.6K [   ] 75ProblemsErrata.pdf 2021-12-17 13:07 65K [   ] M.k 2022-03-17 13:55 4.3K [   ] basic.k 2021-11-28 17:38 4.1K [   ] binary.k 2021-12-29 14:35 2.8K [   ] boxtree.k 2021-12-29 14:35 240 [   ] clause.k 2021-12-29 21:06 1.6K [   ] display.k 2022-03-17 11:20 1.5K [   ] general.k 2023-02-16 09:24 2.2K [   ] gl.k 2021-12-29 14:35 39K [   ] ke.k 2021-12-16 15:12 9.6K [   ] modal.k 2022-01-16 11:47 10K [TXT] modal.txt 2021-11-23 11:17 115 [   ] parse.k 2022-01-02 11:41 1.6K [   ] pe1.k 2021-12-17 13:06 25K [   ] pe2.k 2021-12-17 14:21 3.9K [   ] pelletier.pdf 2021-12-13 15:54 1.0M [   ] q.k 2021-12-17 14:26 14K [   ] show.k 2021-11-13 11:04 1.7K [   ] t.k 2021-11-25 14:48 2.9K [   ] t4.k 2021-11-25 14:48 6.5K [   ] tableaux.k 2021-12-02 16:04 3.6K [   ] trees.k 2021-12-29 14:35 758 [   ] truth.k 2022-11-30 13:55 11K [   ] unify.k 2022-01-09 15:51 691