Similar repositories to Fermat/dependent-fold:
Fermat/dependent-fold
github
similar
skeuchel/language-coq
github
similar
finnteegen/pflp
github
similar
erikkaplun/curry-kics2
github
similar
finnteegen/synthesizing-set-functions
github
similar
holmuk/coq-zipper
github
similar
Ptival/HaysTac
github
similar
beje8442/haskellToCoqCompiler
github
similar
wwu-pi/muli
github
similar
jan-christiansen/Language-based-Security
github
similar
aaronvargo/naperian
github
similar
bristolpl/intensional-datatys
github
similar
jules-hedges/open-games
github
similar
ssomayyajula/elab
github
similar
andreasabel/shift-reset-dsl
github
similar
UU-ComputerScience/uu-cco
github
similar
KolodeznyDiver/THEff
github
similar
jespercockx/ttac
github
similar
paf31/purescript-lens-simple
github
similar
viercc/matchable
github
similar
wouter-swierstra/predicate-transformers
github
similar
Fermat/Gottlob
github
similar
gdijkstra/hs-to-gallina
github
similar
pa-ba/alacarte-idris
github
similar
lukeg101/MScProjectPublic
github
similar
m0rphism/definitional
github
similar
FreeProving/free-proving-code
github
similar
astump/cedille-core
github
similar
jkoppel/thermometer-continuations
github
similar
pa-ba/alfred
github
similar
nikivazou/proof-combinators
github
similar
phadej/lens-laws
github
similar
ichistmeinname/free-theorems
github
similar
ankitku/TAL0
github
similar
dboulytchev/miniKanren-coq
github
similar
sebfisch/explicit-sharing
github
similar
tchajed/coq-tactical
github
similar
nikivazou/EquationalReasoningInLiquidHaskell
github
similar
uwplse/magic
github
similar
mathandley/Unie
github
similar