Similar repositories to JacquesCarette/hol-light-qe:

• JacquesCarette/hol-light-qe github similar
• lab-ml/annotated_deep_learning_paper_implementations github similar
• casvdrest/composable.agda github similar
• shaunlebron/parinfer github similar
• ccshan/pykaru github similar
• erikerlandson/poc-coulomb-scala3 github similar
• chrdimo/nsf-scribble github similar
• DreamLinuxer/FracAncilla github similar
• jaycech3n/CwF github similar
• liamoc/agda-snippets github similar
• zmwangx/Typeset-EGA-SGA github similar
• nad/dependent-lenses github similar
• justinpombrio/RacketSchool github similar
• andrejbauer/dependent-type-theory-syntax github similar
• lukaszcz/infinitary-confluence github similar
• silvanshade/agda-nr-cats github similar
• wrengr/exact-combinatorics github similar
• andrejbauer/higher-rank-syntax github similar
• nachivpn/expelim github similar
• AndrasKovacs/qiit-generalizations github similar
• andrejbauer/rz github similar
• isadofschi/combinatorial_nullstellensatz github similar
• andrejbauer/andromeda github similar
• L-TChen/ModalTypeTheory github similar
• jmchapman/restriction-categories github similar
• leanprover-community/con-nf github similar
• L-TChen/FiniteSets github similar
• vikraman/2DTypes github similar
• conal/calculating-compilers-agda github similar
• jackrosenthal/sdraw-racket github similar
• Zekt/Type-Embellishment github similar
• keil/TreatJS github similar
• mmasdeu/topologygame github similar
• JacquesCarette/pi-dual github similar
• mattam82/Forcing github similar
• bobatkey/agda-metric-reals github similar
• namin/blond github similar
• HoTT/HoTT-2019 github similar
• leanprover-community/mathzoo github similar
• arjunguha/ocaml-z3 github similar