Similar repositories to finnteegen/synthesizing-set-functions:

• finnteegen/synthesizing-set-functions github similar
• skeuchel/language-coq github similar
• wwu-pi/muli github similar
• FreeProving/call-by-preference github similar
• erikkaplun/curry-kics2 github similar
• cse130-wi19/00-lambda github similar
• finnteegen/pflp github similar
• jihgfee/coq-system_f github similar
• andreasabel/shift-reset-dsl github similar
• aa755/paramcoq github similar
• KolodeznyDiver/THEff github similar
• Fermat/dependent-fold github similar
• openbrainsrc/hstan github similar
• gallais/proof-search-ILLWiL github similar
• bacam/handlers-in-ott github similar
• nomeata/free-theorems-static-webui github similar
• m0rphism/definitional github similar
• pa-ba/alfred github similar
• nikivazou/proof-combinators github similar
• jkoppel/thermometer-continuations github similar
• ccshan/prob-school github similar
• jules-hedges/open-games github similar
• umazalakain/fyp github similar
• gdevanla/pandoc-markdown-ghci-filter github similar
• gdijkstra/hs-to-gallina github similar
• matthesjh/coq-tal github similar
• pleiad/Refinements github similar
• danelahman/haskell-coop github similar
• ankitku/TAL0 github similar
• andreasabel/ipl github similar
• philzook58/lens-algebra github similar
• dboulytchev/miniKanren-coq github similar
• daanx/effect-bench github similar
• carlosfrodrigues/silkscreen github similar
• pigworker/Totality github similar
• xnning/MpEff github similar
• antonzherdev/objd github similar
• LightAndLight/parametricity-proofs github similar
• proofengineering/proofengineering-bib github similar
• effectfully/STLC github similar