tealeaves

A Coq library for abstract syntactical reasoning

GitHub

23 stars
3 watching
0 forks
Language: Coq
last commit: about 2 months ago
coqsyntaxvariable-binding

Screenshot of dunnl/tealeaves website

comono.id/tealeaves/