Similar repositories to omelkonian/formal-process-calculus:

• omelkonian/formal-process-calculus github similar
• vehicle-lang/vehicle-formalisation github similar
• Eugeny/terminus github similar
• tuvtran/project-based-learning github similar
• effectfully/ECC github similar
• JonasDuregard/lazy-search github similar
• jirkamarsik/lambda-mu github similar
• UlfNorell/effects github similar
• mr-ohman/intuitionistic-normalization github similar
• arend-lang/arend-contrib github similar
• MrChico/Reals-in-agda github similar
• mit-plv/reification-by-parametricity github similar
• letouzey/coq-minicalc github similar
• sstucki/pts-agda github similar
• tuura/selective-theory-coq github similar
• dabrahams/DivideAndConquer github similar
• coq-community/sudoku github similar
• vmchale/rure github similar
• andrisaar/Type-Theory-Foundations github similar
• gmalecha/coq-printf github similar
• laMudri/generic-lr github similar
• jespercockx/agda2scheme github similar
• m-yac/tt-in-cagda github similar
• umazalakain/session-types-coq github similar
• math-comp/mczify github similar
• mit-plv/rewriter github similar
• JonasDuregard/testing-feat github similar
• snu-sf/paco github similar
• gallais/typing-with-leftovers github similar
• bobatkey/agda-metric-reals github similar
• jespercockx/popl19-tutorial github similar
• pigworker/EGTBS github similar
• xgrommx/agda-ecosystem github similar
• frex-project/idris-frex github similar
• frex-project/agda-fragment github similar
• tree-sitter/tree-sitter-agda github similar
• machine-intelligence/provability github similar
• agda/agda-pkg github similar
• srush/learns-dex github similar
• coq/ceps github similar