WeixiMa/nominal-unification WeixiMa/nominal-unification

  • Stars
    star
    4
  • Rank 3,243,376 (Top 65 %)
  • Language Agda
  • Created about 6 years ago
  • Updated about 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
15
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