/k-schema

k definition of scheme (in maude)

Stargazers

No one’s star this repository yet.