binders topic
List
binders repositories
logically
113
Stars
9
Forks
Watchers
explorations in core.logic
dafny-sandbox
21
Stars
1
Forks
Watchers
Dafny for Metatheory of Programming Languages
ocaml-bindlib
39
Stars
6
Forks
Watchers
Efficient binder representation in OCaml