kappelmann/transport-isabelle kappelmann/transport-isabelle

  • This repository has been archived on 19/Oct/2023
  • Stars
    star
    1
  • Language Isabelle
  • Created over 1 year ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kappelmann/transport-isabelle
github

kappelmann

Reviews

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

Repository Details

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

More Repositories

1

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.
OCaml
14
star
2

engaging-large-scale-functional-programming

Haskell
6
star
3

foss_course

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

Isabelle-Set

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

SpecCheck

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

actnow_email

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