Similar repositories to kolemannix/oplss2015:

• kolemannix/oplss2015 github similar
• marklemay/GraphAutomata github similar
• strub/elliptic-curves-ssr github similar
• tuura/selective-theory-coq github similar
• jespercockx/reflection-tutorial github similar
• JasonGross/lob github similar
• JorisCeulemans/sikkel github similar
• OPLSS/oplss-notes-2019 github similar
• OPLSS/oplss-notes-2018 github similar
• RobertHarper/hott-notes github similar
• RobertHarper/hott-materials github similar
• mit-plv/coqutil github similar
• OPLSS/oplss-notes-2017 github similar
• codyroux/name-the-biggest-number github similar
• effectfully/OTT github similar
• lthms/FreeSpec github similar
• leanprover/tc github similar
• FStarLang/fstar-mode.el github similar
• plclub/metalib github similar
• UlfNorell/agda-summer-school github similar
• InitialTypes/Club github similar
• alhassy/gentle-intro-to-reflection github similar
• math-comp/hierarchy-builder github similar
• coq-community/coq-art github similar
• jsiek/B629-denotational github similar
• pi8027/lambda-calculus github similar
• scott-fleischman/agda-from-nothing github similar
• DeepSpec/dsss17 github similar
• uds-psl/coq-library-undecidability github similar
• LPCIC/coq-elpi github similar
• TheoWinterhalter/formal-type-theory github similar
• Mzk-Levi/texts github similar
• coq/opam-coq-archive github similar
• type-theory/learn-tt github similar
• leanprover-community/lean-perfectoid-spaces github similar
• jwiegley/coq-pipes github similar
• UniMath/agda-unimath github similar
• seL4/isabelle github similar
• coq-community/coq-ext-lib github similar
• MaiaVictor/Cedille-Core github similar