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