Similar repositories to jonsterling/agda-directed-plump-ordering:

• jonsterling/agda-directed-plump-ordering github similar
• hecrj/iced github similar
• jsmaniac/scribble-math github similar
• baberrehman/coq-duotyping github similar
• tiatomee/toml-idr github similar
• yurug/cts github similar
• prathyvsh/godel-reading-list github similar
• itnef/mps-lambda github similar
• DreamLinuxer/FracAncilla github similar
• border-patrol/cordial github similar
• border-patrol/resources github similar
• gelisam/premonoidal github similar
• L-TChen/provability github similar
• eduardoleon/typhoon github similar
• jonsterling/agda-stc github similar
• knight-lang/asm github similar
• RichardMoot/Grail0 github similar
• groupoid/anders github similar
• jonsterling/itt-bidirectional github similar
• CoqHott/DICoq github similar
• less-wrong/less-wrong github similar
• stefaniatadama/inductive_types github similar
• azriel91/srcerr github similar
• AndrasKovacs/qiit-generalizations github similar
• prathyvsh/history-of-lambda-calculus github similar
• aposwolsky/delphin github similar
• hmac/kite github similar
• Kixiron/lsw github similar
• pdarragh/variadic-curry-calculus github similar
• jonsterling/lean4-sgdt github similar
• elpinal/subtyping-agda github similar
• playXE/cgc github similar
• ballesta25/Morpheus github similar
• kckennylau/mathlib4 github similar
• Zekt/Type-Embellishment github similar
• JohnReppy/compiling-pattern-guards github similar
• ziman/idris2-mlf github similar
• jashug/WhyNotW github similar
• sabauma/agda-relation-algebra github similar
• xnning/Row-and-Bounded-via-Disjoint github similar