Similar repositories to JasonGross/coq-tactics:

• JasonGross/coq-tactics github similar
• wilcoxjay/ill-formed-expressions github similar
• mvr/rainbow github similar
• pigworker/Ship github similar
• gdijkstra/hprop-erasibility github similar
• wilcoxjay/tactics github similar
• DanGrayson/checker github similar
• amintimany/CTDT github similar
• chrisamaphone/celf-tutorial github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• javra/msc-thesis github similar
• astump/cedille-core github similar
• ayberkt/abt github similar
• matijapretnar/aeff github similar
• DmxLarchey/ite-normalisation github similar
• tchajed/coq-io github similar
• coqtail/coqtail github similar
• michiakig/maml github similar
• ToTal/total github similar
• yforster/coqtheorem github similar
• bedrocksystems/coq-lens github similar
• mit-pdos/6.826-2017-labs github similar
• letouzey/coq-minicalc github similar
• strub/elliptic-curves-ssr github similar
• IanOrton/cubical-topos-experiments github similar
• jagd/fakebold github similar
• twd2/MagicCube github similar
• jozefg/undergraduate-thesis github similar
• jespercockx/reflection-tutorial github similar
• kevinsullivan/cs1113f16 github similar
• foreverbell/verified github similar
• twd2/osdev github similar
• jmchapman/TT-in-TT github similar
• ekmett/homotopy github similar
• wilbowma/cic-redex github similar
• coq/ltac2 github similar
• diagrams/geometry github similar
• lastland/WebSpec github similar
• gmalecha/coq-printf github similar
• langston-barrett/coq-big-o github similar