going through The Logic Book by Bergmann, Moor and Nelson, and use applicable languages to script out the examples (starting with Sage)
*.in files are Prove9 ( https://www.cs.unm.edu/~mccune/mace4/ ) files
going through The Logic Book by Bergmann, Moor and Nelson, and use applicable languages to script out the examples (starting with Sage)
*.in files are Prove9 ( https://www.cs.unm.edu/~mccune/mace4/ ) files