Similar repositories to nikivazou/co-liquid:
nikivazou/co-liquid
github
similar
lykmast/co-liquid
github
similar
nikivazou/liquid-meta
github
similar
nadia-polikarpova/cyclegg
github
similar
JamesGallicchio/LeanColls
github
similar
julesjacobs/cgraphs
github
similar
ssomayyajula/linear
github
similar
JoeyEremondi/pl-lt-rules
github
similar
sweirich/graded-haskell
github
similar
jaspervdj/uplcg
github
similar
smtcoq/sniper
github
similar
larsk21/iris-lean
github
similar
fblanqui/color
github
similar
nikivazou/theorem-proving-template
github
similar
tlringer/plugin-tutorial
github
similar
ejgallego/pycoq
github
similar
jespercockx/agda-lecture-notes
github
similar
pi8027/lambda-calculus
github
similar
kit-ty-kate/labrys
github
similar
stedolan/counterexamples
github
similar
gasche/icfp2017-papers
github
similar
WheretIB/nullc
github
similar
liamoc/holbert
github
similar
kayceesrk/ocaml5-tutorial
github
similar
ucsd-progsys/elsa
github
similar
RedPRL/cooltt
github
similar
Deducteam/lambdapi
github
similar
DSLsofMath/DSLsofMath
github
similar
ocaml-multicore/effects-examples
github
similar
dginev/ar5iv
github
similar
AndrasKovacs/smalltt
github
similar
model-checking/kani
github
similar
ucsd-progsys/liquidhaskell
github
similar
patrick-kidger/torchtyping
github
similar
upekkha/AppleHardwareTest
github
similar
jozefg/learn-tt
github
similar
leanprover/lean4
github
similar
dafny-lang/dafny
github
similar
pytorch/captum
github
similar
harc/ohm
github
similar