Similar repositories to gallais/proof-search-ILLWiL:

• gallais/proof-search-ILLWiL github similar
• danistefanovic/build-your-own-x github similar
• jonsterling/twelf-itt github similar
• rrnewton/linear-cursors github similar
• nachivpn/coherence github similar
• soareschen/oplss-haskell github similar
• alejandrorusso/mac-privacy github similar
• inariksit/cgexp github similar
• csgordon/guarded-recursion github similar
• cj-xu/ContinuityType github similar
• cse130-wi19/00-lambda github similar
• amintimany/OPLSS github similar
• cj-xu/GentzenTrans github similar
• finnteegen/synthesizing-set-functions github similar
• theleoborges/elm-workshop-ylj2015 github similar
• jihgfee/coq-system_f github similar
• joelburget/dotfiles github similar
• jozefg/fibrational-semantics github similar
• andreasabel/shift-reset-dsl github similar
• aa755/paramcoq github similar
• KolodeznyDiver/THEff github similar
• openbrainsrc/hstan github similar
• bacam/handlers-in-ott github similar
• jtkristensen/f-flat github similar
• kcsmnt0/proof-trees github similar
• finnteegen/pflp github similar
• pigworker/Ming github similar
• nomeata/free-theorems-static-webui github similar
• BekaValentine/basic-proof-development github similar
• michaelsproul/dblib-linear github similar
• DSLsofMath/tfpie2015 github similar
• nikivazou/proof-combinators github similar
• andreasabel/proposal-agda-tutorial github similar
• ccshan/prob-school github similar
• andreasabel/ipl github similar
• jonsterling/agda-synthetic-domain-theory github similar
• sebfisch/explicit-sharing github similar
• FFaissole/Valuations github similar
• umazalakain/fyp github similar
• casvdrest/composable-semantics github similar