index
:
wmiuwr.git
main
My university solutions, lists and stuff. If you want to thank me for my notes, then buy me a craft beer (preferably IPA or baltic porter). Or just say *thank you* when we meet :)
Franciszek Malinka
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
semestr-3
/
pf
/
lista5
/
proof
/
_build
/
proof.mli.depends
blob: e405b4e8e033580a512a7ba5ef4b19a3311960d7 (
plain
)
1
proof.mli: Format Logic