Similar repositories to tchajed/rdb:

• tchajed/rdb github similar
• anishathalye/knox github similar
• samuelgruetter/coq-smt-notations github similar
• julesjacobs/cgraphs github similar
• mit-pdos/argosy github similar
• mit-plv/reification-by-parametricity github similar
• coq-community/atbr github similar
• tchajed/coq-tactical github similar
• jonlamb-gh/rpi4-rust-workspace github similar
• appliedfm/vstyle github similar
• Armael/coq-procrastination github similar
• JoeyEremondi/lambda-pi-constraint github similar
• dunnl/tealeaves github similar
• wrengr/bytestring-trie github similar
• Metaxal/quickscript github similar
• ivanbakel/hout-prover github similar
• archambaultv/sexpresso github similar
• dboulytchev/miniKanren-coq github similar
• tlringer/proof-demos github similar
• arthuraa/deriving github similar
• domschrei/mallob github similar
• LightAndLight/cbpv github similar
• effectfully/STLC github similar
• ejgallego/coq-lsp github similar
• toothbrush/reflection-proofs github similar
• RyanGlScott/eliminators github similar
• AndrasKovacs/thesis github similar
• pedrotst/coquedille github similar
• ayberkt/formal-topology-in-UF github similar
• rafaelcgs10/W-in-Coq github similar
• johnyob/dromedary github similar
• wrengr/unification-fd github similar
• david-christiansen/idris-interaction.rkt github similar
• boyland/sasylf github similar
• tchajed/ltac2-tutorial github similar
• pnwamk/datatype github similar
• mr-ohman/logrel-mltt github similar
• mbg/hindley-milner github similar
• damien-pous/relation-algebra github similar
• mobilecoinfoundation/fog github similar