Similar repositories to arthurpaulino/LeanREPL:
arthurpaulino/LeanREPL
github
similar
tydeu/lean4-itertools
github
similar
lecopivo/lean4-karray
github
similar
opencompl/lean-mlir-semantics
github
similar
arthurpaulino/NumLean
github
similar
tydeu/lean4-alloy
github
similar
hargoniX/doc-gen4
github
similar
gebner/oleanparser
github
similar
yatima-inc/Http.lean
github
similar
yatima-inc/RustFFI.lean
github
similar
ydewit/lean-souffle
github
similar
yatima-inc/LSpec
github
similar
xubaiw/Reservoir.lean
github
similar
leanprover/doc-gen4
github
similar
arthurpaulino/LeanMySQL
github
similar
yatima-inc/Parsec.lean
github
similar
yatima-inc/Spark.lean
github
similar
yatima-inc/straume
github
similar
liyi-david/pycoq-ml
github
similar
zygi/lean-protoc-plugin
github
similar
yatima-inc/OpenSSL.lean
github
similar
leanprover/lean4-samples
github
similar
marcusrossel/reactor-model
github
similar
insightmind/alectryon
github
similar
yatima-inc/OpenGL.lean
github
similar
xubaiw/Unicode.lean
github
similar
joehendrix/lean-arith-solver
github
similar
xubaiw/csv
github
similar
opencompl/lean-mlir
github
similar
tydeu/lean4-papyrus
github
similar
marcusrossel/model-checking
github
similar
opencompl/lean-gap
github
similar
Anderssorby/SDL.lean
github
similar
TOTBWF/lean4-raytrace
github
similar
crabbo-rave/Soup
github
similar
Anderssorby/Nix.lean
github
similar
ufmg-smite/lean-smt
github
similar
lecopivo/HouLean
github
similar
leanprover/LeanInk
github
similar
dselsam/lean-gym
github
similar