Similar repositories to clayrat/dialectica:

• clayrat/dialectica github similar
• DmxLarchey/The-Braga-Method github similar
• holgerthies/continuity github similar
• c-cube/smtlib-utils github similar
• SRI-CSL/high-assurance-crypto github similar
• aman-goel/ivybench github similar
• michaelsproul/dblib-linear github similar
• coq-community/regexp-Brzozowski github similar
• awalterschulze/regex-reexamined-coq github similar
• jonsterling/coq-domains github similar
• pi8027/stablesort github similar
• andreasabel/ipl github similar
• coq-community/coq-nix-toolbox github similar
• thery/hanoi github similar
• thery/coqprime github similar
• jespercockx/popl19-tutorial github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• RobertHarper/hott-notes github similar
• coq-community/semantics github similar
• vafeiadis/hahn github similar
• nachivpn/nbe-course github similar
• SSProve/ssprove github similar
• vlopezj/coq-course github similar
• cedille/cedille-developments github similar
• coq-community/hydra-battles github similar
• bellissimogiorno/nominal github similar
• foreverbell/verified github similar
• math-comp/finmap github similar
• codyroux/name-the-biggest-number github similar
• AndrasKovacs/system-f-omega github similar
• amintimany/Categories github similar
• ymherklotz/vericert github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar
• ocaml-gospel/gospel github similar
• uds-psl/coq-library-undecidability github similar
• TheoWinterhalter/formal-type-theory github similar
• AlloyTools/models github similar
• dpndnt/library github similar
• jozefg/blott github similar
• HoTT-Intro/Agda github similar