Name Last modified Size Description
Parent Directory - p/ 2021-11-13 11:05 - o.k 2021-11-13 11:04 87 sp.k 2021-11-13 11:04 582 proofs.k 2021-11-13 11:04 203 rules.k 2021-11-13 11:04 282 fitch.k 2021-11-13 11:04 582 i.k 2021-11-13 11:04 1.9K sr.k 2021-11-13 11:04 1.1K