#
Starred repositories
8
stars
written in Racket
Clear filter
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
Dependently-typed language with Iverson-style implicit lifting
[Mirror] A close reading of the μKanren paper.
miniKanren variant with a functional syntax, expressing disjunction via pattern matching
Why write the inverse of a function manually when The Inverse Language can create it for you?
dmelcer9 / cur
Forked from wilbowma/curA less devious proof assistant
