Similar repositories to coq-contribs/lin-alg:

• coq-contribs/lin-alg github similar
• tootsuite/mastodon github similar
• coq-contribs/cats-in-zfc github similar
• ssomayyajula/linear github similar
• coq-contribs/automata github similar
• przchojecki/deepalgebra github similar
• mit-plv/bedrock github similar
• BastiaanBergman/tabel github similar
• coq-community/paramcoq github similar
• jtassarotti/coq-proba github similar
• raphlinus/ghilbert github similar
• coq-contribs/coq-in-coq github similar
• sipeed/bl602-hal github similar
• ImperialCollegeLondon/group-theory-game github similar
• UniFormal/MMT github similar
• rems-project/lem github similar
• teorth/QED github similar
• coq-community/coq-art github similar
• binghe/informatica-public github similar
• GeoCoq/GeoCoq github similar
• SRI-CSL/PVS github similar
• xmonad/X11 github similar
• CNMDR3G/CNMDR3G github similar
• coq-community/corn github similar
• derekelkins/agda-vim github similar
• Deducteam/lambdapi github similar
• pandaman64/effective-rust github similar
• kuis-isle3sw/IoPLMaterials github similar
• leanprover-community/tutorials github similar
• jwiegley/coq-haskell github similar
• sifive/Kami github similar
• MaiaVictor/Cedille-Core github similar
• moosotc/llpp github similar
• whonore/Coqtail github similar
• princeton-vl/CoqGym github similar
• RedPRL/redtt github similar
• SomewhatML/sml-compiler github similar
• idris-hackers/software-foundations github similar
• NJU-ProjectN/abstract-machine github similar
• wilbowma/cur github similar