Index of /k/tableaux_old
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
4.k 2021-11-25 14:47 2.5K
5.k 2021-11-25 14:47 2.6K
![[ ]](/icons/layout.gif)
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]](/icons/text.gif)
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