kappelmann/transport-isabelle

This repository has been archived on 19/Oct/2023
Stars
1
Language Isabelle
Created over 1 year ago
Updated 8 months ago

kappelmann/transport-isabelle

kappelmann

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Theory of Transporting Definitions and Proofs via Galois Connections and Equivalences in Isabelle

eidi2_repetitorium_tum

This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.

engaging-large-scale-functional-programming

foss_course

A university course template to teach about Free and Open-Source Software (FOSS)

Isabelle-Set

Soft types for Isabelle - bringing types to the world of set-theory.

SpecCheck

QuickCheck-like testing framework for Isabelle/ML

actnow_email

Create email templates and share them with others; supports contact data backends.