Similar repositories to wenkokke/sapphire:
wenkokke/sapphire
github
similar
ReactTraining/react-router
github
similar
wenkokke/starchild
github
similar
coq-community/gaia
github
similar
PatrickMassot/lean-verbose
github
similar
leanprover/tc
github
similar
leanprover-community/lftcm2020
github
similar
sneeuwballen/zipperposition
github
similar
ejgallego/coq-serapi
github
similar
smtcoq/smtcoq
github
similar
Deducteam/Dedukti
github
similar
runtimeverification/haskell-backend
github
similar
lukaszcz/coqhammer
github
similar
Deducteam/lambdapi
github
similar
sisl/NeuralVerification.jl
github
similar
MetaCoq/metacoq
github
similar
agda/cubical
github
similar
PrincetonUniversity/VST
github
similar
ProofGeneral/PG
github
similar
math-comp/math-comp
github
similar
jscoq/jscoq
github
similar
safe-graph/graph-adversarial-learning-literature
github
similar
snowleopard/alga
github
similar
tensorflow/deepmath
github
similar
UniMath/UniMath
github
similar
google-research/dex-lang
github
similar
Pseudomanifold/latex-mimosis
github
similar
ucsd-progsys/liquidhaskell
github
similar
sorellabs/fuck-you
github
similar
HuwCampbell/grenade
github
similar
nbp/holyjit
github
similar
leanprover/lean4
github
similar
notify-rs/notify
github
similar
milesmcc/shynet
github
similar
QData/TextAttack
github
similar
leanprover/lean
github
similar
deepmind/dm-haiku
github
similar
FStarLang/FStar
github
similar
koka-lang/koka
github
similar
gluon-lang/gluon
github
similar