Similar repositories to blanchette/logical_verification_2019:

• blanchette/logical_verification_2019 github similar
• tuvtran/project-based-learning github similar
• aquynh/capstone github similar
• Lysxia/coq-recursion-schemes github similar
• gibiansky/IHaskell github similar
• roglo/coq_real github similar
• ysharoda/Deriving-Definitions github similar
• HuStmpHrrr/agda-categories-1 github similar
• silvanshade/agda-nr-cats github similar
• Eugeny/terminus github similar
• oragono/oragono github similar
• jonsterling/lecture-notes github similar
• EgbertRijke/CategoryTheory_Course github similar
• lehins/MonadicParty2019 github similar
• mstksg/wavelets github similar
• bachirelkhadir/Convex-Quaternary-Quartics-Are-Sum-of-Squares github similar
• Twey/agda-imp github similar
• conal/agda-fft github similar
• glittershark/categories github similar
• SimonBoulier/hott-colimits github similar
• sadraddini/polytrajectory github similar
• zstone1/coq-complex github similar
• ChrisPenner/j-lang-haskell github similar
• alaingiorgetti/enum github similar
• fmlab-iis/coq-nbits github similar
• m-yac/agda-knots github similar
• philzook58/lens-algebra github similar
• letouzey/coq-minicalc github similar
• 5HT/agda-nr-cats github similar
• zaklogician/agda-ist-algebra github similar
• conal/calculating-compilers-agda github similar
• jamii/rust-tagless github similar
• tchajed/coq-array github similar
• vbeffara/lean github similar
• anfelor/coc-lean github similar
• guillaumebrunerie/SmashProduct github similar
• jirkamarsik/lambda-mu github similar
• UlfNorell/effects github similar
• mir-ikbch/homtrs github similar
• amblafont/UniversalII github similar