kappelmann/eidi2_repetitorium_tum kappelmann/eidi2_repetitorium_tum

  • This repository has been archived on 19/Oct/2023
  • Stars
    star
    14
  • Rank 1,407,897 (Top 29 %)
  • Language
    OCaml
  • Created over 8 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kappelmann/eidi2_repetitorium_tum
github

kappelmann

Reviews

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

Repository Details

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

More Repositories

1

engaging-large-scale-functional-programming

Haskell
6
star
2

foss_course

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

Isabelle-Set

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

SpecCheck

QuickCheck-like testing framework for Isabelle/ML
Standard ML
2
star
5

actnow_email

Create email templates and share them with others; supports contact data backends.
TypeScript
1
star
6

transport-isabelle

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