Similar repositories to MonoidalAttackTrees/ATLL-Formalization:

• MonoidalAttackTrees/ATLL-Formalization github similar
• hughfdjackson/abattoir github similar
• andrewthad/lens-prelude github similar
• nachivpn/coherence github similar
• heliaxdev/witch github similar
• florence/esterel-calculus github similar
• hgoes/nbis github similar
• joshcough/HaskellCourse github similar
• fsestini/nbe-weak-stlc github similar
• jonsterling/itt-bidirectional github similar
• jdoughertyii/hott-exercises github similar
• dorchard/coeffects-experiments github similar
• jbracker/polymonad-proofs github similar
• stefaniatadama/inductive_types github similar
• ct-gradual-typing/Papers github similar
• jdoughertyii/hott-species github similar
• CategoricalData/catdb github similar
• inc-lc/ilc-agda github similar
• matijapretnar/proofs github similar
• conal/agda-cat-linear github similar
• jwiegley/coq-lattice github similar
• exercism/coq github similar
• Barry-Jay/Intensional-computation github similar
• gergoerdi/universe-of-syntax github similar
• effectfully/random-stuff github similar
• ualib/ualib.github.io github similar
• quchen/amoeba github similar
• tonymorris/fp-projects github similar
• heades/System-F-Coq github similar
• wenkokke/priority-sesh github similar
• coq-community/gaia github similar
• Chaaaos/formaltt github similar
• DougBurke/astro-haskell github similar
• dalaing/type-systems github similar
• divipp/frp_agda github similar
• ezyang/lr-agda github similar
• llee454/functional-algebra github similar
• gallais/typing-with-leftovers github similar
• wenkokke/msla2014 github similar
• DanBurton/system-f github similar