Similar repositories to AliasQli/tactics:

• AliasQli/tactics github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/pfpl-defns github similar
• jonsterling/lean4-sgdt github similar
• kckennylau/mathlib4 github similar
• xuanruiqi/commalg github similar
• plt-amy/agda-search github similar
• elpinal/duploids github similar
• pigworker/SmolCat github similar
• maxdore/csolver github similar
• hecrj/iced github similar
• tuvtran/project-based-learning github similar
• ostera/serde.ml github similar
• Zekt/Type-Embellishment github similar
• danelahman/POPL18 github similar
• laMudri/generic-lr github similar
• xuanruiqi/algebraic-geometry github similar
• jonsterling/coq-domains github similar
• nmvdw/RezkCompletion github similar
• silvanshade/cool-tt github similar
• ralsei/six-eyes github similar
• Trebor-Huang/Down-The-Path github similar
• kcsmnt0/numbers github similar
• maxsnew/cubical-cbpv github similar
• TOTBWF/agda-sgd github similar
• nachivpn/k github similar
• kangrongji/cubical-classics github similar
• Trebor-Huang/combinator-nbe github similar
• ice1000/guest0x0 github similar
• AndrasKovacs/preordertt github similar
• yizhouzhang/olaf-coq github similar
• nachivpn/expelim github similar
• uds-psl/autosubst-ocaml github similar
• RedPRL/kado github similar
• jonsterling/agda-calf github similar
• JoeyEremondi/lambda-pi-constraint github similar
• andrejbauer/higher-rank-syntax github similar
• RobertHarper/pfpl-syntax github similar
• niccoloveltri/final-pfin github similar
• jonsterling/agda-stc github similar