Modelling David-Lewis-Counterfactuals in Isabelle/HOL
Primary LanguageIsabelle
This repository is not active