Wiki

Clone wiki

IsaFoL / Home

IsaFoL: Isabelle Formalization of Logic

The IsaFoL repository has moved to GitHub.

Updated