Similar repositories to tuura/selective-theory-coq:

• gibiansky/IHaskell github similar
• tuura/selective-theory-coq github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• jonsterling/lecture-notes github similar
• inanna-malick/hgit github similar
• byorgey/enumeration github similar
• zaklogician/agda-ist-algebra github similar
• HuStmpHrrr/agda-categories-1 github similar
• mit-plv/rewriter github similar
• jespercockx/tensors github similar
• jashug/ConstructingII github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• silvanshade/agda-nr-cats github similar
• xekoukou/agda-ocaml github similar
• roglo/coq_real github similar
• mathandley/RTick github similar
• GamestonkTerminal/GamestonkTerminal github similar
• RH12503/triangula github similar
• larrytheliquid/mltt-lecture github similar
• uds-psl/ill-undecidability github similar
• 5HT/agda-nr-cats github similar
• EgbertRijke/CategoryTheory_Course github similar
• lehins/MonadicParty2019 github similar
• mstksg/wavelets github similar
• Lysxia/coq-recursion-schemes github similar
• bachirelkhadir/Convex-Quaternary-Quartics-Are-Sum-of-Squares github similar
• Eloston/ungoogled-chromium github similar
• alaingiorgetti/enum github similar
• Twey/agda-imp github similar
• conal/agda-fft github similar
• thery/lemonde github similar
• GaloisInc/gadt-starter github similar
• algebraic-graphs/R github similar
• xhtmlboi/booba github similar
• pigworker/Syrup github similar
• groupoid/infinity github similar
• glittershark/categories github similar
• mvr/at github similar