Similar repositories to ufmg-smite/lean-smt:
ufmg-smite/lean-smt
github
similar
joehendrix/lean-sat-checker
github
similar
arthurpaulino/NumLean
github
similar
gibiansky/IHaskell
github
similar
joehendrix/lean-crypto
github
similar
siddhartha-gadgil/Saturn
github
similar
yatima-inc/Parsec.lean
github
similar
leanprover/functional_programming_in_lean
github
similar
siddhartha-gadgil/lean-loris
github
similar
groupoid/anders
github
similar
arthurpaulino/LeanMySQL
github
similar
ccodel/verified-encodings
github
similar
zhangir-azerbayev/lean-chat
github
similar
expnkx/fast_io
github
similar
tootsuite/mastodon
github
similar
x2bool/xlite
github
similar
leanprover-community/vscode-lean4
github
similar
danistefanovic/build-your-own-x
github
similar
krassowski/jupyterlab-lsp
github
similar
leanprover/lean4-samples
github
similar
zygi/lean-protoc-plugin
github
similar
lecopivo/lean4-karray
github
similar
JamesGallicchio/LeanColls
github
similar
smtcoq/sniper
github
similar
shaunlebron/parinfer
github
similar
avigad/lamr
github
similar
codyroux/hoare-toy
github
similar
yatima-inc/yatima-lang
github
similar
EgbertRijke/sequential_colimits
github
similar
gebner/quote4
github
similar
gebner/lean4-mathlib-import
github
similar
tydeu/lean4-itertools
github
similar
xubaiw/Reservoir.lean
github
similar
leanprover/smt2_interface
github
similar
gabriel-fallen/bidirectional-demo
github
similar
voodoos/elpi-js
github
similar
xubaiw/Socket.lean
github
similar
nadia-polikarpova/cyclegg
github
similar
favonia/ocaml-objdump
github
similar
larsk21/iris-lean
github
similar