Similar repositories to vcvpaiva/CatTheory4All:
vcvpaiva/CatTheory4All
github
similar
pigworker/Vole
github
similar
wenkokke/msla2014
github
similar
msp-strath/ZEUG
github
similar
sweirich/trellys
github
similar
byorgey/thesis
github
similar
pigworker/CS410-14
github
similar
sstucki/system-f-agda
github
similar
dlicata335/hott-agda
github
similar
Floobits/floobits-emacs
github
similar
clarus/coq-chick-blog
github
similar
mattearnshaw/lawvere
github
similar
susam/mathbin
github
similar
antalsz/hs-to-coq
github
similar
tweag/linear-base
github
similar
cedille/cedille
github
similar
jyp/dante
github
similar
jaspervdj/websockets
github
similar
agda/agda-stdlib
github
similar
granule-project/granule
github
similar
mortberg/cubicaltt
github
similar
ghc-proposals/ghc-proposals
github
similar
michaelt/martin-lof
github
similar
cvc5/cvc5
github
similar
OpenLogicProject/OpenLogic
github
similar
ucsd-progsys/liquidhaskell
github
similar
leanprover-community/mathlib
github
similar
ndmitchell/hlint
github
similar
jtdaugherty/brick
github
similar
typelift/SwiftCheck
github
similar
mop-tracker/mop
github
similar
tidalcycles/Tidal
github
similar
sagemath/sage
github
similar
jgm/gitit
github
similar
FStarLang/FStar
github
similar
twitter/AnomalyDetection
github
similar
bbatsov/projectile
github
similar
facebook/Haxl
github
similar
remacs/remacs
github
similar
Z3Prover/z3
github
similar