Similar repositories to DmytroMitin/arend-exercises:

• DmytroMitin/arend-exercises github similar
• groupoid/hopf github similar
• Kha/HoTT-book-agda github similar
• o4/proto github similar
• o29/n2o github similar
• groupoid/infinity github similar
• groupoid/agda github similar
• pcapriotti/hott-exercises github similar
• o1/n2o github similar
• groupoid/homotopy github similar
• annenkov/two-level github similar
• MaiaVictor/optimul github similar
• o3/n2o github similar
• abooij/wiwikwlhott github similar
• MaiaVictor/ESCoC github similar
• JetBrains/arend-lib github similar
• erpuno/ws github similar
• stchang/macrotypes github similar
• aya-prover/aya-dev github similar
• RedPRL/cooltt github similar
• kbuzzard/xena github similar
• MaiaVictor/abstract-algorithm github similar
• agda/cubical github similar
• cedille/cedille github similar
• EgbertRijke/HoTT-Intro github similar
• JetBrains/Arend github similar
• mortberg/cubicaltt github similar
• ocaml-multicore/ocaml-multicore github similar
• ndmitchell/ghcid github similar
• leanprover-community/mathlib github similar
• HuwCampbell/grenade github similar
• FStarLang/FStar github similar
• dafny-lang/dafny github similar
• agda/agda github similar
• uwu-tech/Kind github similar
• Frege/frege github similar
• coq/coq github similar
• ocaml/ocaml github similar
• Z3Prover/z3 github similar
• mathjax/MathJax github similar