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