ernius/mergesort ernius/mergesort

  • Stars
    star
    10
  • Rank 1,770,291 (Top 36 %)
  • Language Agda
  • Created about 10 years ago
  • Updated about 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ernius/mergesort
github

ernius

Reviews

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

Repository Details

Merge sort correctness proof

More Repositories

1

plutus-cardano-samples

Plutus examples
Haskell
11
star
2

formalmetatheory-nominal

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory
Agda
6
star
3

formalmetatheory-nominal-Church-Rosser

Formalisation of Church Rosser Theorem
Agda
5
star
4

formalmetatheory-stoughton

We develop metatheory of the Lambda calculus in Constructive Type Theory, which is made possible by the use of an appropriate notion of substitution, due to A. Stoughton.
Agda
5
star
5

genericBindingFramework

A generic programming bindig framework based on regular trees
Agda
2
star