aboutsummaryrefslogtreecommitdiff
path: root/semestr-3/pf/lista5/proof/logic.mllib
blob: 00433f8988627b32dfea91b7ea89b6246a1c7dae (plain)
1
2
Logic
Proof