The Lambda Church

Pinned Repositories

coquille
Interactive theorem proving with Coq in vim.
Language:Vim script186 9 4468
coquineries
0 6 00
dmlenu
a clone of dmenu written in OCaml.
Language:OCaml46 7 55

The Lambda Church's Repositories

the-lambda-church/coquille
Interactive theorem proving with Coq in vim.
Language:Vim script186 9 4468
the-lambda-church/dmlenu
a clone of dmenu written in OCaml.
Language:OCaml46 7 55
the-lambda-church/coquineries
0 6 00