kappelmann/SpecCheck

This repository has been archived on 09/Oct/2021
Stars
2
Language Standard ML
Created over 3 years ago
Updated over 2 years ago

kappelmann/SpecCheck

kappelmann

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

QuickCheck-like testing framework for Isabelle/ML

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.

actnow_email

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

transport-isabelle

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