inference rules

Fork: 0

pesceWanda / Unito

Browse code inference rules master
1 parent bf81806 commit ac23a7d5ef856bf78f966d0482cf911381747912 Francesco Mecca authored on 25 Jan

Patch

Unified Split

Showing 2 changed files

Ignore Space Show notes View tesi/tesi.pdf
Not supported

Ignore Space Show notes View tesi/tesi_unicode.org

Show line notes below