olteanu-ca

Pinned Repositories

lean4-parser
Parser Combinator Library for Lean 4
Language:Lean32 3 83
cj
Language:Clojure0 2 00
dotfiles
00
lambda
Language:Coq0 0 00
README.md
README.md Template & Example
00

olteanu-ca's Repositories

olteanu-ca/cj
Language:Clojure0 2 00
olteanu-ca/dotfiles
00
olteanu-ca/lambda
Language:Coq0 0 00
olteanu-ca/README.md
README.md Template & Example
00