Name Last modified Size Description
Parent Directory - unify.k 2023-03-28 15:39 692 trees.k 2023-03-27 13:10 758 tf.k 2023-09-14 09:06 10K tableaux.txt 2023-03-28 15:39 136 parse.k 2024-01-11 14:18 4.5K gl.k 2023-09-13 11:47 36K general.k 2023-03-26 13:48 2.2K display.k 2023-03-27 13:01 1.5K boxtree.k 2023-03-26 13:48 240 binary.k 2023-03-26 13:48 2.8K