GitHub repository: BassamJaber/Isabella-propositional-logic
Primary language: Isabelle
Created: 2018-03-20T14:32:18Z
Description: Propositional logic proof using Isabella