WeixiMa/nominal-unification WeixiMa/nominal-unification

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Agda
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
WeixiMa/nominal-unification
github

WeixiMa

Reviews

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

Repository Details

Agda proofs of nominal unification with de Bruijn numbers

More Repositories

1

C311Sp20

Racket
16
star
2

MK2020

Racket
5
star
3

alphaKanren-revisited

A possibly faster implementation of alphaKanren, based on a special nominal unification algorithm and microKanren
Racket
2
star
4

UNIF2018

Paper for UNIF2018, http://unif2018.cic.unb.br/
TeX
1
star