Similar repositories to yatima-inc/ZKSnark.lean:
pixijs/pixi.js
github
similar
tootsuite/mastodon
github
similar
tuvtran/project-based-learning
github
similar
yatima-inc/ZKSnark.lean
github
similar
yatima-inc/OpenGL.lean
github
similar
yatima-inc/YatimaStdLib.lean
github
similar
ammkrn/nanoda_lib
github
similar
opencompl/lean-gap
github
similar
TOTBWF/lean4-raytrace
github
similar
leanprover-community/flt-regular
github
similar
yatima-inc/LSpec
github
similar
tydeu/lean4-alloy
github
similar
leanprover/doc-gen4
github
similar
yatima-inc/yatima-lang
github
similar
dwrensha/lean4-maze
github
similar
leanprover/LeanInk
github
similar
mhuisi/lean4-cli
github
similar
GaloisInc/lean4-balance-car
github
similar
mpedramfar/Lean-game-maker
github
similar
leanprover/lake
github
similar
leanprover/theorem_proving_in_lean4
github
similar
coq-community/coqeal
github
similar
jldodds/coq-lean-cheatsheet
github
similar
gebner/hott3
github
similar
digama0/lean-type-theory
github
similar
blanchette/logical_verification_2020
github
similar
coq/opam-coq-archive
github
similar
Soonad/Whitepaper
github
similar
project-oak/silveroak
github
similar
leanprover-community/mathlib4
github
similar
filecoin-project/neptune
github
similar
GeoCoq/GeoCoq
github
similar
leanprover/elan
github
similar
coq-community/math-classes
github
similar
EasyCrypt/easycrypt
github
similar
martinescardo/HoTT-UF-Agda-Lecture-Notes
github
similar
kbuzzard/xena
github
similar
ImperialCollegeLondon/natural_number_game
github
similar
pigworker/CS410-17
github
similar
acl2/acl2
github
similar