Overview :Formal proofs of interesting mathematical theorems are usually too large and full of trivial structural information, and hence hard to under... Read More
Overview :The development of new and improved proof systems, proof formats and proof search methods is one of the most essential goals of Logic. But w... Read More