Source code for the HasCASL library I have worked on during my MSc.
Primary LanguageIsabelleGNU General Public License v3.0GPL-3.0