GitHub repos by mit-plv
7 public repos by mit-plv in the catalog, most starred first.
- mit-plv/fiat-cryptoStars: 851Rocq ProverBeta
- mit-plv/bedrock2Stars: 340Rocq ProverAlpha
- mit-plv/koikaStars: 191Rocq ProverPrototype
- mit-plv/riscv-semanticsStars: 180HaskellPrototype
- mit-plv/kamiStars: 173Rocq ProverPrototype
- mit-plv/fiatStars: 157Rocq ProverPrototype
- mit-plv/riscv-coqStars: 122Rocq ProverPrototype