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