Similar repositories to foreverbell/verified:

• foreverbell/verified github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• tootsuite/mastodon github similar
• ziman/itt github similar
• DmxLarchey/ite-normalisation github similar
• tuvtran/project-based-learning github similar
• meilisearch/MeiliSearch github similar
• langston-barrett/coq-big-o github similar
• SimonBoulier/TypingFlags github similar
• palmskog/coq-program-verification-template github similar
• andreasabel/ipl github similar
• dboulytchev/miniKanren-coq github similar
• o1/n2o github similar
• sigurdschneider/lvc github similar
• ayberkt/Mini-TT github similar
• bedrocksystems/cpp2v github similar
• ReactTraining/react-router github similar
• domchristie/turndown github similar
• Eugeny/terminus github similar
• strub/elliptic-curves-ssr github similar
• smimram/catt github similar
• LightAndLight/parametricity-proofs github similar
• proofengineering/proofengineering-bib github similar
• RobertHarper/hott-notes github similar
• gallais/parseque github similar
• ichistmeinname/free-proving github similar
• oisdk/agda-ring-solver github similar
• vafeiadis/hahn github similar
• rafaelcgs10/W-in-Coq github similar
• lthms/FreeSpec github similar
• vyorkin/tiger github similar
• andgate/type-theory-compiler github similar
• groupoid/anders github similar
• uwplse/oeuf github similar
• L-TChen/MtacAR github similar
• slasser/vermillion github similar
• levjj/esverify-theory github similar
• pi8027/stablesort github similar
• TheoWinterhalter/formal-type-theory github similar