N ary and or - Githubissues

ndslusarz / formal_LDL

MIT License

3 stars 1 forks source link

Closed ndslusarz closed 9 months ago

ndslusarz commented 9 months ago

Finished the refactoring of all proofs for n-ary logical connectives and, or.