Similar repositories to aa755/CFGV:

• aa755/CFGV github similar
• aa755/SquiggleEq github similar
• ernius/formalmetatheory-nominal github similar
• cangiuli/latex2wp github similar
• tonymorris/type-class github similar
• pcapriotti/agda-categories github similar
• coq-community/coqdocjs github similar
• pigworker/Pivotal github similar
• RobertHarper/hott-notes github similar
• bmsherman/topology github similar
• pcapriotti/agda-base github similar
• aa755/ROSCoq github similar
• JasonGross/coq-tools github similar
• vrahli/NuprlInCoq github similar
• dschepler/coq-sequent-calculus github similar
• amintimany/Categories github similar
• protz/mezzo github similar
• TheoWinterhalter/formal-type-theory github similar
• LPCIC/coq-elpi github similar
• coq-community/corn github similar
• jonsterling/JonPRL github similar
• smtcoq/smtcoq github similar
• coq-community/math-classes github similar
• DeepSpec/InteractionTrees github similar
• melsman/mlkit github similar
• UniMath/Foundations github similar
• sweirich/pi-forall github similar
• cpitclaudel/company-coq github similar
• math-comp/math-comp github similar
• theunraveler/taskwarrior-web github similar
• mortberg/cubicaltt github similar
• jwiegley/category-theory github similar
• UniMath/UniMath github similar
• puffnfresh/roy github similar
• HoTT/book github similar
• bundestag/gesetze github similar
• agda/agda github similar
• coq/coq github similar
• FStarLang/FStar github similar
• idris-lang/Idris-dev github similar