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