Skip to main content
search

A formal proof enlisting logical rules.