Similar repositories to JasonGross/doctoral-thesis:

• JasonGross/doctoral-thesis github similar
• krassowski/jupyterlab-lsp github similar
• coq-community/regexp-Brzozowski github similar
• impermeable/coq-waterproof github similar
• math-comp/tutorial_material github similar
• letouzey/coq-minicalc github similar
• strub/elliptic-curves-ssr github similar
• coq-community/huffman github similar
• arthuraa/coq-utils github similar
• ejgallego/coq-plugin-template github similar
• gmalecha/coq-printf github similar
• mit-plv/rewriter github similar
• math-comp/mczify github similar
• dboulytchev/miniKanren-coq github similar
• coq-community/lemma-overloading github similar
• proofengineering/proofengineering-bib github similar
• math-comp/algebra-tactics github similar
• coq-community/dblib github similar
• vafeiadis/hahn github similar
• fblanqui/color github similar
• coq-community/aac-tactics github similar
• hivert/Coq-Combi github similar
• nobrakal/asak github similar
• coq/ceps github similar
• JasonGross/coq-tools github similar
• OPLSS/oplss-notes-2019 github similar
• tlringer/proof-demos github similar
• breandan/picograd github similar
• oisdk/agda-ring-solver github similar
• coq/stdlib2 github similar
• ngzhian/ski github similar
• foreverbell/verified github similar
• mit-plv/rupicola github similar
• math-comp/finmap github similar
• unicoq/unicoq github similar
• Mtac2/Mtac2 github similar
• lthms/FreeSpec github similar
• ocaml-ppx/ppx github similar
• vocal-project/vocal github similar
• jldodds/coq-lean-cheatsheet github similar