Similar repositories to yurrriq/idris-logic:

• yurrriq/idris-logic github similar
• eholk/coq-stlc github similar
• yurrriq/the-power-of-pi github similar
• yurrriq/learning-idris github similar
• yurrriq/friendly-intro-to-group-theory github similar
• latticetheory/latticetheory.github.io github similar
• tel/values-computation github similar
• franleplant/frd-lisp github similar
• ayberkt/Mini-TT github similar
• uelis/modular github similar
• sweirich/PHICWIC2018 github similar
• sergei-romanenko/idris-norm-by-traversals github similar
• newlandsvalley/purescript-polyphonic-soundfonts github similar
• yurrriq/idris-alga github similar
• wspk/SimpleTypes github similar
• arianvp/types-and-statemachines github similar
• david-christiansen/idris-tf-random github similar
• aronisstav/formal-trace-theory github similar
• hzelenka/idris-proofs github similar
• SimonJF/IdrisNet github similar
• morganthomas/purescript-group github similar
• hrb90/purescript-free-group github similar
• takanuva/coc github similar
• charleso/bantam github similar
• gergoerdi/system-f-agda github similar
• AHartNtkn/Kitmit github similar
• barras/abstract-machines github similar
• Risto-Stevcev/idris-heyting-algebra github similar
• ostera/tap-idris github similar
• mietek/coquand github similar
• akissinger/pypn github similar
• asajeffrey/finite-dtypes github similar
• ak3n/system-f-pop github similar
• ssomayyajula/elab github similar
• emarzion/Linear-Logic-Proof-Assistant github similar
• KolodeznyDiver/THEff github similar
• GuglielmoS/sfidris github similar
• paf31/purescript-tropical github similar
• bamboo/idris-hamt github similar
• awkure/purescript-birds github similar