/HasCASL-Library_Source

Source code for the HasCASL library I have worked on during my MSc.

Primary LanguageIsabelleGNU General Public License v3.0GPL-3.0

This repository is not active